## 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 1981 |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

P Rolin | 11 |

PROGRAMMING LANGUAGES AND SOFTWARE ENGINEERING | 31 |

R Camposano | 45 |

Copyright | |

10 other sections not shown

### Common terms and phrases

A-net algebraic algorithm analysis APPLICATION AND THEORY assertion system B-equivalence behaviour Boolean C/E-Systems Camposano communication protocols complete lattice Computer Science concurrent systems condition conflict connector consider construction corresponding deadlock defined Definition Let denote described deterministic diagram distributed elementary event elements equivalent EUROPEAN WORKSHOP event structure example execution Figure finite firing sequences formal Formal verification formula functional description Genrich given graph Heyting algebras Informatik initial marking input interpretation introduced language Lautenbach leakage Lecture Notes Lemma livelock Machine minimal support invariants morphisms nodes Notes in Computer notion obtained occur output paper partial order partially ordered set Petri nets possible problem Project MAC proof properties protocol PT-net recursive represent S-nodes semantics semilinear sequential Session layer shown specification subclass Theorem THEORY OF PETRI tion token transition validation variables virtual ring weight function weighted synchronic distances WORKSHOP ON APPLICATION