Advertisement

Applications and Theory of Petri Nets 2004

25th International Conference, ICATPN 2004, Bologna, Italy, June 21–25, 2004. Proceedings

  • Jordi Cortadella
  • Wolfgang Reisig
Conference proceedings ICATPN 2004

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

Table of contents

  1. Front Matter
  2. Invited papers

  3. Full papers

    1. Adrianna Alexander
      Pages 98-116
    2. João Paulo Barros, Luís Gomes
      Pages 117-136
    3. Claudine Chaouiya, Elisabeth Remy, Paul Ruet, Denis Thieffry
      Pages 137-156
    4. Jörg Desel, Gabriel Juhás, Christian Neumair
      Pages 157-176
    5. Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
      Pages 177-196
    6. Kees van Hee, Natalia Sidorova, Marc Voorhoeve
      Pages 197-215
    7. Monika Heiner, Ina Koch
      Pages 216-237
    8. Gabriel Juhás, Robert Lorenz, Christian Neumair
      Pages 238-257
    9. Michael Köhler, Heiko Rölke
      Pages 278-297
    10. Timo Latvala, Marko Mäkelä
      Pages 298-311
    11. Edward Ochmański
      Pages 312-330
    12. Leo Ojala, Olli-Matti Penttinen, Elina Parviainen
      Pages 331-350
    13. M. José Polo Martín, Luis A. Miguel Quintales, María N. Moreno García
      Pages 351-370
    14. Eric Verbeek, Robert van der Toorn
      Pages 391-410
  4. Tool Papers

    1. Boudewijn F. van Dongen, Wil M. P. van der Aalst
      Pages 454-463
    2. Ekkart Kindler, Csaba Páles
      Pages 464-473
    3. Lars M. Kristensen, Laure Petrucci
      Pages 474-483
    4. Olaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler, Daniel Moldt et al.
      Pages 484-493
  5. Back Matter

About these proceedings

Keywords

Petri nets Software Engineering Workflow algorithms automata concurrency distributed computing flow charts formal methods logic model checking modeling petri net stochastic Petri nets timed Petri nets

Editors and affiliations

  • Jordi Cortadella
    • 1
  • Wolfgang Reisig
    • 2
  1. 1.Universitat Politècnica de CatalunyaSpain
  2. 2.Institut für InformatikHumboldt-Universität zu BerlinBerlinGermany

Bibliographic information

  • DOI https://doi.org/10.1007/b98283
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-22236-1
  • Online ISBN 978-3-540-27793-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site