June 6, 2013

Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea

It is not possible to compute SCC/report for a partial state space.

August 14, 2013

Completed

Arc weights not exported correctly to PNML
State Space Tool handles random incorrectly

You must be logged in to post a comment.