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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/3-540-60029-9
  • Copyright Information Springer-Verlag 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
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology