Color sets Miscellaneous
Inscriptions and expressions
Place inscriptions (color set, initial marking, place name) Arc inscriptions Transition inscriptions (transition names, guards, time delays, code segments) Inscriptions in comments
Multisets
Multiset creation The back-quote (`) operator is the multiset constructor. For example, 3`7 is the multiset with three appearances of the color 7. Syntax i`c The integer i must be non-negative. If this is not the case then the empty multiset will be returned. Example The multiset operator combined with multiset addition and subtraction (described below) provide a succinct method for specifying multisets. For example, […]
