## Application and Theory of Petri Nets 1992: 13th International Conference, Sheffield, UK, June 22-26, 1992. ProceedingsThis volume contains the proceedings of the 13th International Conference onApplication and Theory of Petri Nets, held in Sheffield, England, in June 1992. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 150-200 participants, one third of these coming from industry and the rest from universities and research institutions. The 1992 conference was organized by the School of Computing and Management Sciences at Sheffield City Polytechnic, England. The volume contains twoinvited papers, by G. Balbo and W. Reisig, 18 submitted papers, and seven project papers. The submitted papers and project presentations were selectedby the programme committee and a panel of referees from a large number of submissions. |

### What people are saying - Write a review

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

### Contents

Abstract Several practically important concepts supporting proper | 25 |

Proof Techniques | 32 |

References | 38 |

Copyright | |

18 other sections not shown

### Common terms and phrases

acceptor algebraic algorithm allocation analysis arbiter arcs behaviour circuit Coloured Petri 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 firing free choice nets fusion set given GSPN Hence incidence matrix initial marking input place input transition ladder logic Lemma Leslie Lamport linear logic live and bounded LNCS Marked Graphs Markov chain minimal deadlock modular CP-net module monoid morphism multisets node number of tokens obtained occurrence graph p-processes p-superfair paper path Petri nets place bisimulation place flows place invariants polynomial Proof Proposition quantale queue Rank Theorem reachability graph relation S-component semi-positive sequence of transitions sequent calculus specification Springer-Verlag strongly connected structurally live submodel subnet T-invariant T-marking Temporal Logic transition fusion Vautherin vector weight function well-formed