You may already have seen the user-interface for the new state-space workflow in CPN Tools 4; this is what it looks like in action.
I show how CPN Tools 4 simplifies the workflow when generating state-spaces; rather than having to go thru entering the state-space tool, generating the state-space, generating the SCC graph, and saving the report manually, CPN Tools keeps track of which steps have been performed and automatically performs any outstanding steps.
This makes it possible to save a standard report in a single step overnight instead of performing 3 manual steps, and releases user from having to know and remember which steps need to be performed after each operation in CPN Tools.
http://www.youtube.com/watch?v=B_LPOAribkk
