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

Is there support for performance analysis?
Is there a user manual for CPN Tools?

You must be logged in to post a comment.