Advances in Petri Nets, 1986: Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986, Volume 2Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenberg Springer-Verlag, 1987 - Machine theory |
Contents
Introduction to Part II | 1 |
Special Topics | 28 |
Application of Nets | 62 |
Copyright | |
5 other sections not shown
Common terms and phrases
abstract action activity analysis arcs b₁ behaviour bisimulation cache cars Communicating Sequential Processes communication complete components Computer Science concepts conceptual schema concurrency control concurrent systems configurations consistent control flow control program corresponding COSY database defined definition denotational semantics denotes domains E-unit E₁ equivalence example execution expression Figure finite firing formal functional units functor Grafcet graph graphical initial marking input instantiated interface isomorphism labelled lemma M₁ messages morphism multiset N₁ nodes objects operation operational semantics output P/T-system partial function partial order Petri nets predicate schemes prefix prime event structures programming language Proof properties protocols reachability recursive refinement relation represent request role S-invariants semantics sequence sequential simulation specification stable event structures string subset synchronisation synchronous TCSP Theorem theory token trace languages transition variables