Skip to main content
SpringerLink
Log in
Book cover

Applications and Theory of Petri Nets 2004

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

  • Conference proceedings
  • © 2004

Overview

Editors:
  1. Jordi Cortadella

    1. Universitat Politècnica de Catalunya, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Wolfgang Reisig

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: ICATPN 2004.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (30 papers)

  1. Front Matter

    Download chapter PDF

  3. 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. New Canonical Representative Marking Algorithms for Place/Transition-Nets

      • Tommi A. Junttila
      Pages 258-277

    10. Properties of Object Petri Nets

      • Michael Köhler, Heiko Rölke
      Pages 278-297

    11. LTL Model Checking for Modular Petri Nets

      • Timo Latvala, Marko Mäkelä
      Pages 298-311

    12. Covering Fairness against Conspiracies

      • Edward Ochmański
      Pages 312-330

    13. Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods

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

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation