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.
You must be logged in to post a comment.