Applications and Theory of Petri Nets 2003

24th International Conference, ICATPN 2003 Eindhoven, The Netherlands, June 23–27, 2003 Proceedings

  • Wil M. P. van der Aalst
  • Eike Best
Conference proceedings ICATPN 2003

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2679)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Papers

    1. Hiroshi Matsuno, Sachie Fujita, Atsushi Doi, Masao Nagasaki, Satoru Miyano
      Pages 3-22
    2. M. Ajmone Marsan, M. Garetto, R. Lo Cigno, M. Meo
      Pages 36-36
  3. Full Papers

    1. H. M. W. Verbeek, T. Basten
      Pages 44-63
    2. Eric Badouel, Jules Chenou
      Pages 64-81
    3. Yann Thierry-Mieg, Claude Dutheillet, Isabelle Mounier
      Pages 82-101
    4. Lawrence Cabac, Daniel Moldt, Heiko Rölke
      Pages 102-120
    5. Michael Köhler, Daniel Moldt, Heiko Rölke
      Pages 121-139
    6. Marek A. Bednarczyk, Luca Bernardinello, Benoît Caillaud, Wiesław Pawłowski, Lucia Pomello
      Pages 140-160
    7. Adnan Sherif, Augusto Sampaio, Sérgio Cavalcante
      Pages 161-180
    8. Jorge Júlvez, Laura Recalde, Manuel Silva
      Pages 221-240
    9. Kurt Lautenbach
      Pages 276-295

About these proceedings

Keywords

Business Process Modeling design formal method model checking modeling petri net software engineering validation

Editors and affiliations

  • Wil M. P. van der Aalst
    • 1
  • Eike Best
    • 2
  1. 1.Faculty of Technology and ManagementEindhoven University of TechnologyEindhovenThe Netherlands
  2. 2.Computer Science Department Parallel Systems GroupUniversity of OldenburgOldenburgGermany

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-44919-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-40334-0
  • Online ISBN 978-3-540-44919-5
  • Series Print ISSN 0302-9743
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace