Allow to create a test arcs such as in VisualObject, so you can enable a transition when a number of tokens in input place is greater than the inscription of the test arc. this is a nice features to model automation system.
Declined
Double arcs do the same thing. (In principle there’s a minor difference if you use a true concurrency semantics, but CPN Tools uses interleaving semantics, so there is not.)
You must be logged in to post a comment.