Advertisement

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
    10. Rik Eshuis, Juliane Dehnert
      Pages 296-315
    11. Sahika Genc, Stéphane Lafortune
      Pages 316-336
    12. Kees van Hee, Natalia Sidorova, Marc Voorhoeve
      Pages 337-356
    13. Gabriel Juhás, Robert Lorenz, Tomáš Šingliar
      Pages 357-376
    14. María E. Villapol, Jonathan Billington
      Pages 377-396
    15. Hans Fleischhack, Elisabeth Pelz
      Pages 397-416
  4. Tool Papers

    1. Stéphane Klein, Georg Frey, Mark Minas
      Pages 440-449
    2. Anne Vinter Ratzer, Lisa Wells, Henry Michael Lassen, Mads Laursen, Jacob Frank Qvortrup, Martin Stig Stissing et al.
      Pages 450-462
    3. Claus Schröter, Stefan Schwoon, Javier Esparza
      Pages 463-472
    4. Ali Al-Shabibi, Didier Buchs, Mathieu Buffo, Stanislav Chachkov, Ang Chen, David Hurzeler
      Pages 473-482
  5. PNML Paper

    1. Jonathan Billington, Søren Christensen, Kees van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci et al.
      Pages 483-505
  6. Back Matter
    Pages 507-508

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