Applications and Theory of Petri Nets

1. Front Matter

   PDF

2. Invited Papers

   1. Challenges and Opportunities for Formal Specifications in Service Oriented Architectures

      • Gustavo Alonso

      Pages 1-6

   2. Modeling Interactions between Biochemical Reactions

      • A. Ehrenfeucht, G. Rozenberg

      Pages 7-7

   3. Transaction Calculus

      • He Jifeng

      Pages 8-8

   4. Stratifying Winning Positions in Parity Games

      • Huimin Lin

      Pages 9-11

   5. On the Physical Basics of Information Flow

      • Carl Adam Petri

      Pages 12-12

3. Regular Papers

   1. Faster Unfolding of General Petri Nets Based on Token Flows

      • Robin Bergenthum, Robert Lorenz, Sebastian Mauser

      Pages 13-32

   2. Decomposition Theorems for Bounded Persistent Petri Nets

      • Eike Best, Philippe Darondeau

      Pages 33-51

   3. Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study

      • Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci

      Pages 52-71

   4. Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets

      • Roland Bouroulet, Raymond Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau

      Pages 72-91

   5. A Symbolic Algorithm for the Synthesis of Bounded Petri Nets

      • J. Carmona, J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, A. Yakovlev

      Pages 92-111

   6. Synthesis of Nets with Step Firing Policies

      • Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alex Yakovlev

      Pages 112-131

   7. Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets

      • Lay G. Ding, Lin Liu

      Pages 132-151

   8. Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks

      • Kristian L. Espensen, Mads K. Kjeldsen, Lars M. Kristensen

      Pages 152-170

   9. Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario

      • Paul Fleischer, Lars M. Kristensen

      Pages 171-190

   10. Parametric Language Analysis of the Class of Stop-and-Wait Protocols

       • Guy Edward Gallasch, Jonathan Billington

       Pages 191-210

   11. Hierarchical Set Decision Diagrams and Automatic Saturation

       • Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon

       Pages 211-230

   12. Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds

       • Kunihiko Hiraishi

       Pages 231-250

   13. Modelling Concurrency with Quotient Monoids

       • Ryszard Janicki, Dai Tri Man Lê

       Pages 251-269

   14. Labeled Step Sequences in Petri Nets

       • Matthias Jantzen, Georg Zetzsche

       Pages 270-287

This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2008, held in Xi'an, China, in June 2008. The 19 revised full regular papers and 4 revised tool papers presented together with 5 invited papers were carefully reviewed and selected from 75 submissions. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed.

• Petri nets
• Routing
• Session
• algorithms
• bounded Petri nets
• concurrent systems
• formal specification
• fuzzy Petri nets
• modeling
• nets-within-nets
• ontologies
• programming
• softw
• validation
• verification

Policies and ethics