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

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
  • About this book
Industry Sectors
Telecommunications
Oil, Gas & Geosciences