No, there is currently no support for calculating place or transition invariants.
You must be logged in to post a comment.
You must be logged in to post a comment.