Table of contents

  1. Front Matter
  2. Gianfranco Balbo
    Pages 1-23
  3. C. Autant, Ph. Schnoebelen
    Pages 45-61
  4. Giorgio Bruno, Andrea Castella, Gianpaolo Macario, Marco P. Pescarmona
    Pages 93-112
  5. Søren Christensen, Laure Petrucci
    Pages 113-133
  6. Susanna Donatelli, Matteo Sereno
    Pages 154-172
  7. Hans Fleischhack
    Pages 193-204
  8. Hartmann J. Genrich, Robert M. Shapiro
    Pages 205-223
  9. Carlos A. Heuser, Gernot Richter
    Pages 224-243
  10. Johan Lilius
    Pages 310-327

About these proceedings


This 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.


Coloured Petri Nets Gefärbte Petrinetze Management Net Design Netzentwurf Parallelität (EDV) Performance Petri Net Models Petrinetz-Modelle algorithms calculus formal verification logic programming verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-55676-3
  • Online ISBN 978-3-540-47270-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book