Advertisement

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
  11. E. Teruel, P. Chrzastowski-Wachtel, J. M. Colom, M. Silva
    Pages 348-367
  12. Geoff Cutts, Shaun Rattigan
    Pages 368-372
  13. J. C. Lloret, J. L. Roux, B. Algayres, M. Chamontin
    Pages 379-383
  14. William W. McLendon Jr., Richard F. Vidale
    Pages 384-388
  15. Kimmo Varpaaniemi, Marko Rauhamaa
    Pages 389-393
  16. Linda Wilkens, James Canning, Patrick Krolak
    Pages 394-398
  17. Back Matter

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/3-540-55676-1
  • 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
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications