Table of contents

  1. Front Matter
  2. Eike Best, Maciej Koutny
    Pages 1-20
  3. K. Barkaoui, J. M. Couvreur, C. Dutheillet
    Pages 25-44
  4. Twan Basten, Marc Voorhoeve
    Pages 45-65
  5. Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz
    Pages 103-120
  6. G. Bruno, R. Agarwal, A. Castella, M. P. Pescarmona
    Pages 141-160
  7. S. Caselli, G. Conte, P. Marenzoni
    Pages 181-200
  8. Søren Christensen, Laure Petrucci
    Pages 201-217
  9. S. Haddad, J M. Ilié, M. Taghelit, B. Zouari
    Pages 238-257
  10. Joost-Pieter Katoen
    Pages 258-277
  11. Charles Lakos
    Pages 278-297
  12. Dong-Ik Lee, Sadatoshi Kumagai, Shinzo Kodama
    Pages 298-315
  13. Henning Reineke
    Pages 357-373
  14. Oriol Roig, Jordi Cortadella, Enric Pastor
    Pages 374-391
  15. Stefan Schöf, Michael Sonnenschein, Ralf Wieting
    Pages 412-431
  16. Gerlinde Schreiber
    Pages 432-450
  17. Patrick Sénac, Pierre de Saqui-Sannes, Roberto Willrich
    Pages 451-470
  18. Valentín Valero, David de Frutos, Fernando Cuartero
    Pages 490-509
  19. Back Matter

About these proceedings


This book constitutes the proceedings of the 16th International Conference on Application and Theory of Petri Nets, held in Torino, Italy in June 1995
The 26 revised refereed papers presented were selected from 73 submissions from 22 countries; in addition there are abstracts or full papers of the three invited talks. All theoretical and applicational aspects are addressed by the contributors coming from industry and academia. This volume representatively documents the progress achieved in this application-oriented area of research and development since the predecessor conference held one year earlier.


Colored Petri Nets Distributed Computing Petri Net Application Petri Nets Petri-Netz Anwendungen Petri-Netze Stochastic Petri Nets Stochastische Petri-Netze algorithm algorithms gefärbte Petri-Netze model checking petri net semantics verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-60029-9
  • Online ISBN 978-3-540-49408-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment