Time condensed state-spaces

Time condensed state-spaces

January 10, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Use Christensen, Kristensen, Mailund’s time reduction from Petri nets 2001 March 7, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) responded Completed Creation time reduction done

Read Me Leave comment

Support for PNML

Support for PNML

August 9, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Support loading and saving PNML, at least for low-level nets. August 14, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) responded Under review Probably as an external tool January 29, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) responded Completed Will go in around 4 as a simulator extension

Read Me Leave comment

direct time simulation tools

direct time simulation tools

December 2, 2012 Dmitry Zaitsev shared this idea use time in simulation palette instead/together with step. it is valuable for performance evaluation with CPN Tools. now to trace a transact (a packet in a network model) is a tricky job. one should keep clicking steps to reach the required time value. of course time breakpoints could be employed but it is inconvenient December 3, 2012 […]

Read Me Leave comment

Support for inhibitor arcs

Support for inhibitor arcs

August 9, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea September 3, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) responded Started Uncolored (at least) version goes in 4. I’ve moved a colored version as a separate request at Colored Inhibitor Arcs September 04, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) responded Completed Uncolored inhibitors ready and going […]

Read Me Leave comment

Cascade state space commands

Cascade state space commands

August 23, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea If compute state space is selected, automatically make sure Enter SS is execute first. If compute SCC is selected, make sure compute SS is executed first. If Save report is selected make sure compute SS is executed and (if needed) compute SCC is executed first. Michael Westergaard (Code and Support Guy, […]

Read Me Leave comment