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

Ralph-Johan Back (auth.), Susanna Donatelli, P. S. Thiagarajan (eds.)9783540346999, 3540346996

This book constitutes the refereed proceedings of the 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2006, held in Turku, Finland in June 2006.

The 16 revised full papers and 6 revised tool papers presented together with 4 invited papers were carefully reviewed and selected from a total of 93 submissions. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed, in particular UML and Petri nets in software development, networking, workflow management, biochemical network analysis, systems modeling, process semantics probabilistic modeling, embedded systems, software services, performance analysis and simulation.

---

Table of contents :
Front Matter….Pages –
Invariant Based Programming….Pages 1-18
On the Integration of UML and Petri Nets in Software Development….Pages 19-36
Component Tools: Integrating Petri Nets with Other Formal Methods….Pages 37-56
Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development….Pages 57-64
Compensation in Workflow Nets….Pages 65-83
The Synthesis Problem of Netcharts….Pages 84-104
Non-sequential Behaviour of Dynamic Nets….Pages 105-124
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets….Pages 125-145
On the Computation of Stubborn Sets of Colored Petri Nets….Pages 146-165
On the Construction of Pullbacks for Safe Petri Nets….Pages 166-180
From Petri Nets to Differential Equations – An Integrative Approach for Biochemical Network Analysis….Pages 181-200
How Expressive Are Petri Net Schemata?….Pages 201-220
A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets….Pages 221-240
Nested Nets for Adaptive Systems….Pages 241-260
Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets….Pages 261-281
Infinite Process Semantics of Inhibitor Nets….Pages 282-301
Towards Synthesis of Petri Nets from Scenarios….Pages 302-321
Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions….Pages 322-341
On the Step Explosion Problem….Pages 342-361
Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets….Pages 362-380
Can I Execute My Scenario in Your Net? VipTool Tells You!….Pages 381-390
E xhost -PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets….Pages 391-400
ArgoSPE: Model-Based Software Performance Engineering….Pages 401-410
Petriweb: A Repository for Petri Nets….Pages 411-420
Geist3D, a Simulation Tool for Geometry-Driven Petri Nets….Pages 421-430
The BRITNeY Suite Animation Tool….Pages 431-440
Back Matter….Pages –