…not necessarily comprehensive, but lists the major changes. The list may also reflect features in versions of CPN Tools that have not yet been publicly released, and as such reflects…
Monitoring functions
…happen if, for example, the Fast forward tool is applied several times before applying the Rewind tool. The stop functions will not be called in the following situations: If only…
Support
…is strongly discouraged. It will not yield you priority support (quite the contrary, actually). Only mail team-members directly if directly prompted to. Also, don’t request “immediate” or “quick” answers. We…
The User Interface of CPN Tools
First steps Graphical User Interface Index Marking menus Other tools Palette tools…
Marking menus
…do not have to learn separate shortcuts to work more efficiently; you simply speed up the gesture, and when you do it fast enough, the menu no longer appears. Available…
Publications
…Press, Cambridge, 2010. There are also online references for Standard ML: Programming in Standard ML by Robert Harper The Standard ML Basis Library (excellent manual) Standard ML of New Jersey…
Simulation feedback
…Fast-forward simulations Simulation feedback is not updated during a fast forward simulation, but it is updated after the simulation has completed. After applying the fast forward tool, a light purple…
Simulation replications
Single simulations can be run by applying the Fast forward, Play, Single Step, and Bind manually tools. To start a new simulation the Rewind tool must be applied, and a…
Simulation stop criteria
…check if stop criteria are fulfilled Before executing the first step immediately after applying the Fast Forward tool, and After every step that is executed When the Bind manually, Single…
Temporal logic for state spaces
…(e.g., the occurrence of certain transitions). Strongly connected components are used to make the model checking more efficient. Manual A manual describing how to use the temporal logic facilities is…
