There is no direct support for bounded places, but it is possible to model bounded places using anti-places. For more information, see the help page for Anti places/limit places.


Why are the log files for monitors empty?
Are inhibitor arcs supported?

You must be logged in to post a comment.