Table of contents

  1. Front Matter
  2. Clarence A. Ellis, Gary J. Nutt
    Pages 1-16
  3. Kishor S. Trivedi, Vidyadhar G. Kulkarni
    Pages 24-31
  4. J. A. Bañares, P. R. Muro-Medrano, J. L. Villarroel
    Pages 32-48
  5. Michel Barbeau, Gregor v. Bochmann
    Pages 49-68
  6. K. Barkaoui, C. Dutheillet, S. Haddad
    Pages 69-88
  7. Luca Bernardinello
    Pages 89-105
  8. Peter Buchholz
    Pages 106-125
  9. Tiehua Cao, Arthur C. Sanderson
    Pages 126-145
  10. Hoon Choi, Vidyadhar G. Kulkarni, Kishor S. Trivedi
    Pages 166-185
  11. Søren Christensen, Niels Damgaard Hansen
    Pages 186-205
  12. Jörg Desel, Javier Esparza
    Pages 224-241
  13. D. Gomm, E. Kindler, B. Paech, R. Walter
    Pages 262-281
  14. Jean-Michel Ilié, Omar Rojas
    Pages 300-318

About these proceedings

Introduction

This volume contains the proceedings of the 14th International Conference onApplication and Theory of Petri Nets. 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 whom come from industry, while the rest are from universities and research institutes. The volume includes three invited papers, "Modeling and enactment of workflow systems" (C.A. Ellis, G.J. Nutt), "Interleaving functional and performance structural analysis of net models" (M. Silva), and "FSPNs: fluid stochastic Petri nets" (K.S. Trivedi, V.G. Kulkarni), together with 26 full papers (selected from 102 submissions) and 6 project papers.

Keywords

Colored Petri Nets Concurrency Gefärbte Petri-Netze Petri Net Models Petri-Netz-Modelle Stochastic Petri Nets Stochastische Petri-Netze Timed Petri Nets Zeitabhängige Petri-Netze modeling petri net

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-56863-8
  • Copyright Information Springer-Verlag 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-56863-6
  • Online ISBN 978-3-540-47759-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book