August 24, 2012

Somsak Vanit-Anunchai shared this idea

When I changed a model parameter (slightly change), I found that the new state space was different (slightly). I wish to know how and why they are different. I used to use two computers and compared two state spaces manually which took hours. Is this possible??

August 25, 2012

Michael Westergaard (Code and Support Guy, CPN Tools) commented

Dear Somsak,

Long time no see…

It is in principle possible. The problem is that the “classical” state-space tool is completely incapable of storing more than one state-space.

The ASAP code can do it, and could in principle compare two state-spaces, though more details need to be specified; you want a bisimulation checked? Subset? Something else? It’s very difficult to give a general, meaningful, and easy-to-use way of comparing state-spaces.

March 7, 2013

Michael Westergaard (Code and Support Guy, CPN Tools) responded

Under review

Reopened as 4 goes out soon

September 5, 2013

Michael Westergaard (Code and Support Guy, CPN Tools) responded

Under review

Reopened as 4 goes out soon

Colored Reset Arcs
Data-aware Declare simulation

You must be logged in to post a comment.