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.

Why are the log files for monitors empty?
Is there support for invariants?

You must be logged in to post a comment.