Skip to main content
  • Conference proceedings
  • © 2006

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

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)

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

Conference proceedings info: ICATPN 2006.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (26 papers)

  1. Front Matter

  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
  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. On the Computation of Stubborn Sets of Colored Petri Nets

      • Sami Evangelista, Jean-François Pradat-Peyre
      Pages 146-165
    5. How Expressive Are Petri Net Schemata?

      • Andreas Glausch, Wolfgang Reisig
      Pages 201-220
    6. A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets

      • Serge Haddad, Lynda Mokdad, Patrice Moreaux
      Pages 221-240
    7. Nested Nets for Adaptive Systems

      • Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve
      Pages 241-260
    8. 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
    9. Infinite Process Semantics of Inhibitor Nets

      • H. C. M. Kleijn, M. Koutny
      Pages 282-301
    10. Towards Synthesis of Petri Nets from Scenarios

      • Robert Lorenz, Gabriel Juhás
      Pages 302-321
    11. On the Step Explosion Problem

      • Stephan Roch, Karsten Schmidt
      Pages 342-361

Other Volumes

  1. Petri Nets and Other Models of Concurrency - ICATPN 2006

Keywords

  • Monitor
  • Petri nets
  • Unified Modeling Language (UML)
  • bounded Petri nets
  • calculus
  • complexity
  • concurrent systems
  • distributed systems
  • embedded systems
  • formal methods
  • modeling
  • petri net
  • software development
  • stochastic Petri nets
  • system modeling

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions