Advertisement

Table of contents

  1. Front Matter
  2. Javier Esparza, Stephan Melzer
    Pages 1-20
  3. Joseph Sifakis
    Pages 21-22
  4. Charles Lakos
    Pages 42-61
  5. W. M. P. van der Aalst, T. Basten
    Pages 62-81
  6. Daniel Moldt, Frank Wienberg
    Pages 82-101
  7. Wojciech Fraczak, Elisabeth Pelz
    Pages 117-135
  8. Tuomas Aura, Johan Lilius
    Pages 136-155
  9. Makoto Tanabe
    Pages 156-174
  10. Serge Haddad, Patrice Moreaux, Giovanni Chiola
    Pages 175-194
  11. Olaf Kummer, Mark -Oliver Stehr
    Pages 195-214
  12. François Vernadat, François Michel
    Pages 253-270
  13. Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alex Yakovlev
    Pages 328-347
  14. Søren Christensen, Jens Bæk Jørgensen
    Pages 387-406
  15. W. M. P. van der Aalst
    Pages 407-426
  16. Eike Best, Thomas Thielke
    Pages 447-466
  17. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 18th International Conference on the Application and Theory of Petri Nets, ICATPN'97, held in Toulouse, France, in June 1997.
The 22 revised full papers presented in the volume were selected from a total of 61 submissions; also included are three invited contributions. All relevant topics in the area are addressed. Besides a variety of Petri net classes, workflow management, telecommunication networking, constraint satisfaction, program semantics, concurrency, and temporal logic are among the topics addressed.

Keywords

Gefärbte Petri-Netze Netzwerkbetrieb Petri nets Petri-Netze Workflow-Management colored Petri nets graph theory logic network scheduling petri net workflow management

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-63139-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63139-2
  • Online ISBN 978-3-540-69187-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications