I added test arcs to the Petri networks - are working in the same way as the inhibitory arcs: test arcs are inbound arcs which check if the source place is marked, and only when it is marked the target transition can be fired (depending on the other incoming arcs of course). But when the transition is fired, no tokens are removed from the source of the test arc.
Maybe test arcs (and inhibitory arcs as well) should be weighted?
I added test arcs to the Petri networks - are working in the same way as the inhibitory arcs: test arcs are inbound arcs which check if the source place is marked, and only when it is marked the target transition can be fired (depending on the other incoming arcs of course). But when the transition is fired, no tokens are removed from the source of the test arc. Maybe test arcs (and inhibitory arcs as well) should be weighted?