Skip to main content
SpringerLink
Log in

Petri Nets and Other Models of Concurrency - ICATPN 2006

27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Susanna Donatelli

    1. Dipartimento di Informatica, Università di Torino, Torino, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. P. S. Thiagarajan

    1. School of Computing, National University of Singapore,  

    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 4024)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ICATPN 2006.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (26 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. Invariant Based Programming

      • Ralph-Johan Back
      Pages 1-18

    2. On the Integration of UML and Petri Nets in Software Development

      • Javier Campos, José Merseguer
      Pages 19-36

    3. Component Tools: Integrating Petri Nets with Other Formal Methods

      • Ekkart Kindler, Vladimir Rubin, Robert Wagner
      Pages 37-56

    4. Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development

      • Jianli Xu
      Pages 57-64

  3. Full Papers

    1. Compensation in Workflow Nets

      • Baver Acu, Wolfgang Reisig
      Pages 65-83

    2. The Synthesis Problem of Netcharts

      • Nicolas Baudru, Rémi Morin
      Pages 84-104

    3. Non-sequential Behaviour of Dynamic Nets

      • Roberto Bruni, Hernán Melgratti
      Pages 105-124

    4. Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets

      • Thomas Chatain, Claude Jard
      Pages 125-145

    5. On the Computation of Stubborn Sets of Colored Petri Nets

      • Sami Evangelista, Jean-François Pradat-Peyre
      Pages 146-165

    6. On the Construction of Pullbacks for Safe Petri Nets

      • Eric Fabre
      Pages 166-180

    7. From Petri Nets to Differential Equations – An Integrative Approach for Biochemical Network Analysis

      • David Gilbert, Monika Heiner
      Pages 181-200

    8. How Expressive Are Petri Net Schemata?

      • Andreas Glausch, Wolfgang Reisig
      Pages 201-220

    9. A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets

      • Serge Haddad, Lynda Mokdad, Patrice Moreaux
      Pages 221-240

    10. Nested Nets for Adaptive Systems

      • Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
      Pages 241-260

    11. Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets

      • Meuse N. O. Junior, Silvino Neto, Paulo Maciel, Ricardo Lima, Angelo Ribeiro, Raimundo Barreto et al.
      Pages 261-281

    12. Infinite Process Semantics of Inhibitor Nets

      • H. C. M. Kleijn, M. Koutny
      Pages 282-301

    13. Towards Synthesis of Petri Nets from Scenarios

      • Robert Lorenz, Gabriel Juhás
      Pages 302-321

    14. Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions

      • Spyros A. Reveliotis, Jin Young Choi
      Pages 322-341

    15. On the Step Explosion Problem

      • Stephan Roch, Karsten Schmidt
      Pages 342-361
Back to top

Keywords

Editors and Affiliations

  • Dipartimento di Informatica, Università di Torino, Torino, Italy

    Susanna Donatelli

  • School of Computing, National University of Singapore,  

    P. S. Thiagarajan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation