Posted: January 8, 2018/Under: Analyzing CP-nets, Articles, Common problems/By: admin

It has not been possible to generate state spaces for timed CP-nets due to a bug in the state space tool. This bug is in all external releases up to and including version 1.4.0 and all internal releases up to and including version 1.5.21. Please update CPN Tools to a more recent version.

Why can't I see the GUI when I start CPN Tools?
Why are the log files for monitors empty?

You must be logged in to post a comment.

CPN Tools has been replaced now by CPN IDE. Development on CPN Tools has stopped.