Advertisement

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
  15. Nathalie Sauer, Xiaolan Xie
    Pages 357-376
  16. Enrique Teruel, Manuel Silva
    Pages 415-432
  17. W. M. P. van der Aalst
    Pages 453-472
  18. Toshimasa Watanabe, Masahiro Yamauchi
    Pages 493-512
  19. Hsu-Chun Yen, Bow-Yaw Wang, Ming-Sheng Yang
    Pages 513-531
  20. Ludmila Cherkasova, Vadim Kotov, Tomas Rokicki
    Pages 552-561
  21. David A. Hartley, David M. Harvey
    Pages 562-571
  22. Qian Zhang, Herbert Grünbacher
    Pages 582-591
  23. Back Matter

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 Berlin Heidelberg 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
  • Buy this book on publisher's site