…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 example
…* Job timed; var proctime : INT; var job: Job; var jobs: Jobs; fun expTime (mean: int) = let val realMean = Real.fromInt mean val rv = exponential((1.0/realMean)) in floor…
Queue system queue delay
…monitors are associated with the Start transition, both predicate functions return true when the transition occurs, and the Queue Delay monitor comes before this monitor in the list of monitors…
Time attributes in tokens
…6 components, which represent: The kind of the object, i.e. A or B The time stamp of the token represented as a string The time stamp of the token represented…
Timed color set functions
…stream s cs’timed.input_ms(s) : read a timed multi-set from input stream s cs’timed.output(s,c@ts): write color c with time stamp ts, to output stream s cs’timed.output_ms(s,tms): write timed multi-set tms to…
Timed color sets
A color set is timed by appending the keyword timed to the end of its declaration. At least one color set must be timed in order to run a simulation…
Hierarchy tags
Hierarchy tags are small blue tags, e.g. that are associated with some places and transitions in hierarchical CPNs. There are three kinds of hierarchy tags: Subpage tags Port-type tags Fusion-set…
DTD for net files
…transition fusion, not used, just copy from an example –> .. </channel> </trans> <arc id=”…” orientation=”TtoP|PtoT|BOTHDIR” order=”…”> <!– arc, order can probably just be set to –> <posattr …/> <!–…
Transition inscriptions
There are five inscriptions that may be associated with a transition. All are optional: Transition name inscription Guard inscription Time inscription Code segment inscription Priority inscription Transition inscriptions are created…
Unit color set
The unit color set comprises a single element, denoted (). Declaration Syntax colset name = unit [with new_unit]; Order trivial Optional with clause Renames the value, that is, defines the…
