No, there is currently no support for calculating place or transition invariants.

Is it possible to draw state spaces that are generated in CPN Tools?
Is there support for performance analysis?

You must be logged in to post a comment.