This is a list of off-site tutorials on getting started with new features in CPN Tools 4. Declare constraints Place-Transition Petri Nets New Types (IntInf, real, time) Minor features Model…
CPN Tools
…liveness properties. New Features in Version 4.0 Declarative constraints 3rd part extensions Simplified use of non-colored nets Support for export to PNML Support for real and time colorsets Improved support…
Bug Reports
…Partial state-spaces have issues with new automatic progression Remove Constraints from graphics on undo/delete Feedback when drawing new arcs from a clone Clone ConstraintArcs Clone ConstraintInscription Remove new inscriptions on…
Feature Requests
…causing BE More fine-grained enabling dependency analysis Duration of syntax check integrate real scroll bars into CPN Tools GUI Detect runtime errors during sim and ss analysis and report errors…
Comparing 2 state spaces and search for the different states
August 24, 2012 Somsak Vanit-Anunchai shared this idea When I changed a model parameter (slightly change), I found that the new state space was different (slightly). I wish to know…
Performance analysis tutorials
August 9, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Create YouTube videos demonstrating doing performance analysis. September 5, 2013 Michael Westergaard (Code and Support Guy,…
Clear background trigger for snapshot
October 8, 2013 Zearon Gong shared this idea Sometimes we need to take a snapshot of the model to put in other documents, and the background color and grids will…
New web-based GUI
August 9, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Rewrite the CPN Tools GUI as a web-application September 5, 2013 Michael Westergaard (Code and Support…
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),…
Usage statistics
September 20, 2012 Michael Westergaard (Code and Support Guy, CPN Tools) shared this idea Record and send usage statistics to server; same as in Word/Eclipse: what tools are used, what…
