Hi everyone.
In my opinion, different PF should not acquire the same resource(operator) which is GLOBAL type at the same time. But It seems not like that, you can see sample model attached.
Do I misunderstand "Global Type" resource meaning?
globalresourceacquirenotworkv18.fsm
Any advice will be appreciated.