…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…
…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…
…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…
…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…
First steps Graphical User Interface Index Marking menus Other tools Palette tools…
…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…
…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…
…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…
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…
…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…
…(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…