An inhibitor arc drawn from place to a transition means that the transition cannot fire if the corresponding inhibitor place contains at least as many tokens as the cardinality of the corresponding inhibitor arc.
This is supported by GreatSPN, so the tools we recommend already do it. We just need to be a little more clever...
As described here:
An inhibitor arc drawn from place to a transition means that the transition cannot fire if the corresponding inhibitor place contains at least as many tokens as the cardinality of the corresponding inhibitor arc.
This is supported by GreatSPN, so the tools we recommend already do it. We just need to be a little more clever...