Currently, a transition depends on a place if they are connected with a input, i/o, or inhibitor arc and the dependents of a transition are places connected by outgoing arcs (and some solution to handle inhibitors).
This can be refined by adding a disable relation and splitting up these: i/o arcs never affect enabling of anything, only the relations output → input and input/reset → inhibitor.
You must be logged in to post a comment.