Application and Theory of Petri Nets: International Conference ... ProceedingsSpringer-Verlag, 1992 - Petri nets |
Contents
Abstract Several practically important concepts supporting proper | 25 |
Proof Techniques | 32 |
References | 38 |
Copyright | |
18 other sections not shown
Other editions - View all
Common terms and phrases
acceptor algebraic algorithm analysis arbiter arcs behaviour Bool circuit Coloured Petri Nets Computer Science concurrent construction contains Corollary corresponding dead transitions defined definition denote EFC-net enabled equivalent event graph example exists Figure finite firable firing free choice nets fusion set given GSPN Hence high-level incidence matrix initial marking input place input transition ladder logic Lemma Leslie Lamport linear linear logic live and bounded LNCS logic M₁ M₂ Marked Graphs minimal deadlock modular CP-net module monoid morphism multisets N₁ N₂ node obtained occurrence graph p-processes p-superfair paper Petri nets place bisimulation place flows place invariants Proof Proposition quantale queue Rank Theorem reachability graph S-component semi-positive sequence of transitions sequent calculus specification Springer-Verlag strongly connected structurally live submodel subnet T-invariant T-marking t₁ Temporal Logic transition fusion Vautherin vector weight function