Yes, high-level support for simulation-based performance analysis was introduced in version 2.0.0 of CPN Tools. Information about the facilities can be found in the help pages.

Is there support for invariants?

You must be logged in to post a comment.