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

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 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
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology