Comparing 2 state spaces and search for the different states

Comparing 2 state spaces and search for the different states

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

Read Me Leave comment

Clear background trigger for snapshot

Clear background trigger for snapshot

…graphics in color an black/white, and with or without simulation graphics. Tip: it also works for groups to export partial nets: Print net Zearon Gong commented Thank you soooooooo much!…

Read Me Leave comment

Process perspective

Process perspective

…example XES export of simulations Draw Gantt charts from simulator Recognize and highlight PP CP-nets directly use a notion of process. These Declare constraints Web-services require a notion of starting…

Read Me Leave comment

Recognize and highlight PP CP-nets

Recognize and highlight PP CP-nets

November 23, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Recognize PP nets in an extension, provide a PP net view. Maybe code generation? September 5,…

Read Me Leave comment

Generic chart library for extensions

Generic chart library for extensions

November 23, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Common charts, e.g., Gantt, bar, line, xy. Useful for things like Draw Gantt charts from simulator…

Read Me Leave comment

Generic drawing library for simulator extensions

Generic drawing library for simulator extensions

…approach? Can be used in many cases, e.g., Support drawing Message Sequence Charts from simulations March 13, 2013 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Completed…

Read Me Leave comment

Welcome wizard

Welcome wizard

…just one template in templates directory; clicking on anything (but Recent nets) performs the action, Recent nets are collapsible. New net just creates a new blank net (and closes wizard),…

Read Me Leave comment

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…

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…

Read Me Leave comment

Parametrized Modules

Parametrized Modules

August 9, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Implement real parametrized modules and in http://www.daimi.au.dk/CPnets/workshop99/papers/Mailund.pdf August 14, 2012 Michael Westergaard (Code and Support Guy,…

Read Me Leave comment