Declarations

Declarations

Color sets Miscellaneous

Read Me Leave comment

Inscriptions and expressions

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

Read Me Leave comment

Multisets

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, […]

Read Me Leave comment