Skip to main content
  • Conference proceedings
  • © 2004

Applications and Theory of Petri Nets 2004

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

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

Conference series link(s): ICATPN: International Conference on Application and Theory of Petri Nets

Conference proceedings info: ICATPN 2004.

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (30 papers)

  1. Front Matter

  2. Full papers

    1. Composition of Temporal Logic Specifications

      • Adrianna Alexander
      Pages 98-116
    2. On the Use of Coloured Petri Nets for Object-Oriented Design

      • João Paulo Barros, Luís Gomes
      Pages 117-136
    3. Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets

      • Claudine Chaouiya, Elisabeth Remy, Paul Ruet, Denis Thieffry
      Pages 137-156
    4. Finite Unfoldings of Unbounded Petri Nets

      • Jörg Desel, Gabriel Juhás, Christian Neumair
      Pages 157-176
    5. Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys

      • Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
      Pages 177-196
    6. Generalised Soundness of Workflow Nets Is Decidable

      • Kees van Hee, Natalia Sidorova, Marc Voorhoeve
      Pages 197-215
    7. Petri Net Based Model Validation in Systems Biology

      • Monika Heiner, Ina Koch
      Pages 216-237
    8. Synthesis of Controlled Behavior with Modules of Signal Nets

      • Gabriel Juhás, Robert Lorenz, Christian Neumair
      Pages 238-257
    9. Properties of Object Petri Nets

      • Michael Köhler, Heiko Rölke
      Pages 278-297
    10. LTL Model Checking for Modular Petri Nets

      • Timo Latvala, Marko Mäkelä
      Pages 298-311
    11. Covering Fairness against Conspiracies

      • Edward Ochmański
      Pages 312-330
    12. Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods

      • Leo Ojala, Olli-Matti Penttinen, Elina Parviainen
      Pages 331-350

Editors and Affiliations

  • Universitat Politècnica de Catalunya, Spain

    Jordi Cortadella

  • Institut für Informatik, Humboldt-Universität zu Berlin, Berlin, Germany

    Wolfgang Reisig

Bibliographic Information

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access