Comparing 2 state spaces and search for the different states

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??

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.

Under review

Reopened as 4 goes out soon

Under review

Reopened as 4 goes out soon