Application and Theory of Petri Nets: Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, 23-26 September 1980, Bad Honnef, 28-30 September 1981Claude Girault, Wolfgang Reisig |
Contents
P Rolin | 11 |
H P Godbersen | 23 |
PROGRAMMING LANGUAGES AND SOFTWARE ENGINEERING | 31 |
Copyright | |
22 other sections not shown
Other editions - View all
Application and Theory of Petri Nets: Selected Papers from the First and the ... C. Girault,W. Reisig No preview available - 1982 |
Common terms and phrases
A-net algebraic algorithm analysis APPLICATION AND THEORY arcs assertion system B-equivalence behaviour Boolean C/E-Systems communication protocols Computer Science concurrent systems condition conditional probability consider construction corresponding deadlock defined Definition Let denote described E₁ E₂ elements equivalent EUROPEAN WORKSHOP event structure example execution Extended Control Structure Figure finite firing sequences formal Formal verification Genrich given graph Heyting algebras Informatik information flow initial marking input interpretation introduced labelled language Lautenbach leakage Lecture Notes left-closed Lemma livelock M₁ morphisms Net Theory nodes Notes in Computer notion obtained occur output P₁ paper partial order partially ordered set Petri nets pr₁ pr₂ problem Project MAC proof properties protocol PT-nets relations co represent S₁ S₂ semantics sequential Session layer shown subclass subset synchronic distance Theorem THEORY OF PETRI tion token transition variables weight function WORKSHOP ON APPLICATION