Application and Theory of Petri Nets: International Conference ... ProceedingsSpringer-Verlag, 1994 - Petri nets |
Contents
Invited Papers | 1 |
J Meseguer U Montanari V Sassone | 16 |
Full Papers | 39 |
Copyright | |
23 other sections not shown
Other editions - View all
Common terms and phrases
aggregated view algebra algorithm analysis asynchronous circuits basic BDDs behaviour bisimulation boolean causality Coloured Petri Nets communication component Computer Science concurrent corresponding CP-nets with channels deadlock defined Definition denote disabled disk dynamically stubborn ECORP enabled transitions equivalence relation equivalent event example execution expressions Figure finite firable firing rule formal function given GSPN immediate transitions implementation incidence matrix inhibitor arcs initial marking input place invariants labelled linear livelocking M₁ Macrotec Meta Software multimedia multiset node notation Objects occurrence graph operational semantics output partial order performance Peterson's algorithm place/transition Proof properties reachability graph reachability set reachable markings relation represented request S-invariant SADT semantics server set method set of markings SGSPN simulation specification stochastic Petri structure stubborn set submodels subnet symmetry synchronization T-invariant t₁ Theorem timer tool transformation tuple variable verification