…{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
…an error message for the inscription. CP-net with error message Elements connected to the element with the error, e.g. transitions connected to a place with errors, are not checked until…
Naming policy
…following, we will differentiate between name inscriptions and ML names. A name inscription is a user-defined text string, and it can contain any sequence of characters, including letters, numbers, punctuation,…
Inhibitor arcs
…<something>, and not NONE, so if ps is the empty list, this cannot be satisfied, which is the correct behavior. Second, I bind p to the first component the pick…
Queues and stacks
…list []. If the original marking had been, e.g., 1`1++2`4, I could have changed it to, e.g., [4, 1, 1] (the ordering DOES matter now). Changes to outgoing arcs I…
Close all nets
Close All Nets This tool closes all nets. If there are unsaved changes in any nets, then the nets will be autosaved. If there is more than one net, they…
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…
Simple protocol example
…modified version of a timed CP-net presented in Sect. 5.5 of K. Jensen. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Monographs on Theoretical Computer Science, vol. 2:Analysis…
Queue system queue delay
…order in which monitoring functions are invoked see the help page for Monitoring functions. Related pages Queue System, Queue System Queue Length, Queue System Server Utilization, Queue System Miscellaneous Monitors…
