27. ICATPN 2006: Turku, Finland

Susanna Donatelli, P. S. Thiagarajan (Eds.): 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. Lecture Notes in Computer Science 4024 Springer 2006, ISBN 3-540-34699-6

Invited Papers

Ralph-Johan Back:
Invariant Based Programming. 1-18
Javier Campos, José Merseguer:
On the Integration of UML and Petri Nets in Software Development. 19-36
Ekkart Kindler, Vladimir Rubin, Robert Wagner:
Component Tools: Integrating Petri Nets with Other Formal Methods. 37-56
Jianli Xu:
Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development. 57-64

Full Papers

Baver Acu, Wolfgang Reisig:
Compensation in Workflow Nets. 65-83
Nicolas Baudru, Rémi Morin:
The Synthesis Problem of Netcharts. 84-104
Roberto Bruni, Hernán C. Melgratti:
Non-sequential Behaviour of Dynamic Nets. 105-124
Thomas Chatain, Claude Jard:
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets. 125-145
Sami Evangelista, Jean-François Pradat-Peyre:
On the Computation of Stubborn Sets of Colored Petri Nets. 146-165
Eric Fabre:
On the Construction of Pullbacks for Safe Petri Nets. 166-180
David Gilbert, Monika Heiner:
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis. 181-200
Andreas Glausch, Wolfgang Reisig:
How Expressive Are Petri Net Schemata?. 201-220
Serge Haddad, Lynda Mokdad, Patrice Moreaux:
A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets. 221-240
Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve:
Nested Nets for Adaptive Systems. 241-260
Meuse N. Oliveira Jr., Silvino Neto, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Raimundo S. Barreto, Eduardo Tavares, Frederico Braga:
Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets. 261-281
H. C. M. Kleijn, Maciej Koutny:
Infinite Process Semantics of Inhibitor Nets. 282-301
Robert Lorenz, Gabriel Juhás:
Towards Synthesis of Petri Nets from Scenarios. 302-321
Spyros A. Reveliotis, Jin-Young Choi:
Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions. 322-341
Stephan Roch, Karsten Schmidt:
On the Step Explosion Problem. 342-361
Katrin Winkelmann, Holger Luczak:
Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets. 362-380

Tool Papers

Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz:
Can I Execute My Scenario in Your Net? VipTool Tells You! 381-390
Olivier Bonnet-Torrés, Patrice Domenech, Charles Lesire, Catherine Tessier:
Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets. 391-400
Elena Gómez-Martínez, José Merseguer:
ArgoSPE: Model-Based Software Performance Engineering. 401-410
R. Goud, Kees M. van Hee, R. D. J. Post, Jan Martijn E. M. van der Werf:
Petriweb: A Repository for Petri Nets. 411-420
Jochen Stier, Jens H. Jahnke, Hausi A. Müller:
Geist3D, a Simulation Tool for Geometry-Driven Petri Nets. 421-430
Michael Westergaard, Kristian Bisgaard Lassen:
The BRITNeY Suite Animation Tool. 431-440