…are examples of constructions that often cause nondeterministic behavior in a net: Random distribution functions are used to generate time delays or parts of token values. The ran color set…
Temporal logic for state spaces
…load the facilities you must: Enter the State Space Tool Calculating a State_Space (including the SCC graph) Evaluate the following ML code: use (ogpath^”/ASKCTL/ASKCTLloader.sml”) The ML code can be created…
Data collector functions
…{avrg : real, half_length : real option, lower_endpoint : real option, percentage : int, upper_endpoint : real option} {avrg : real, half_length : real option, lower_endpoint : real option, percentage…
Add/edit inscriptions
…order of the inscriptions when using the Tab key is for places: name, type/color set, and initial marking. For transitions, the order is name, guard, time delay, and code segments….
Errors in net structure
…ML names must be unique in order to use the state space tool. Elements with non-unique ML names For more information about ML names, see the naming policy. Related pages…
Naming policy
…CP-net. State Space Tool The following criteria must be met in order to enter the state space tool: All pages must have unique ML names All places on a page…
Queues and stacks
It is often nice to be able to simulate a queue or stack discipline for places, e.g. for communication over a TCP channel. Alas, CPN Tools does not currently support…
Close all nets
…one net, they will be autosaved consecutively according to their order in the index. Read more about autosave under Save a model. This tool is available through: Workspace marking menu…
Save all nets
…be prompted for a name. If more nets are unnamed you will be prompted consecutively according to their order in the index. This tool is available through: Workspace marking menu…
Help entry in index
…Reenterable Model of Rectangular Communication Grid Reenterable Model of Rectangular Communication Grid with Cut-through Nodes Removing hierarchical constructs Reserved identifiers Resize, pan, and zoom Resource allocation example Resource allocation example…
