…the body learns directions better than distances. This means that dragging the mouse in a certain direction to locate a menu entry in a circular marking menu is faster than…
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…
Change marking during simulation
…to the marking information. This tool can be found in the Current marking marking menu. Delete current marking If you write an illegal current marking in a place, the old…
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
A simulation will stop if one or more of the following conditions are fulfilled: There are no more enabled transitions The number of steps specified for the Play or Fast…
Make state space queries
…can be created by writing CPN ML functions. Queries are made by creating auxiliary text containing the query function, and then using the Evaluate ML tool to evaluate the text….
Nondeterministic nets
…that there are only a limited number of possible outcomes, nor is there any way to ensure that the state space tool considers every possibility. The best that the state…
Saving a standard state space report
…Best Integers Bounds Upper Lower Page’Eat 1 2 Page’Think 1 5 3 Page’Unused 1 5 1 Best Upper Multi-set Bounds Page’Eat 1 1`ph(1)++1`ph(2)++1`ph(3)++1`ph(4)++1`ph(5) Page’Think 1 1`ph(1)++1`ph(2)++1`ph(3)++1`ph(4)++1`ph(5) Page’Unused 1 1`cs(1)++1`cs(2)++1`cs(3)++1`cs(4)++1`cs(5) Best…
Temporal logic for state spaces
…net This net can be found in a subdir of cpntools called Samples\\DiningPhilosophers. Additional information Additional information about the facilities is available online: Technical report Slide presentation Related pages Verification…
