Quote: predicate/transition (PrT) Petri nets use high-level transitions/places, algebraic/logical conditions, and distinguishable tokens

Quotation Skeleton

The best-known Petri nets are place/transition nets [refs]. .. Alternatively, in the past years high-level Petri nets--e.g., the … losing any formal precision [Brauer, W., ed., Petri Nets Central Models, 1987; Genrich & Lautenbach, Theoretical Computer Science 13:109-36 1981] … [p. 514] the predicate/transition nets have the following properties … [refs] … the firing of transitions may additionally be specified … @ Each transition of a PrT net may … same way, a predicate may represent an entire …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: Petri net transitions and events (21 items)
Topic: Petri net (44 items)