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

by Donatelli, Susanna; Thiagarajan, P. S.

• ISBN13: 9783540346999
• ISBN10: 3540346996
• Format: Paperback
• Copyright: 2006-07-15
• Publisher: Springer Verlag

Summary

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

Invited Papers
Invariant Based Programming	1	(18)
Ralph-Johan Back
On the Integration of UML and Petri Nets in Software Development	19	(18)
Javier Campos
Jose Merseguer
Component Tools: Integrating Petri Nets with Other Formal Methods	37	(20)
Ekkart Kindler
Vladimir Rubin
Robert Wagner
Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development	57	(8)
Jianli Xu
Full Papers
Compensation in Workflow Nets	65	(19)
Baver Acu
Wolfgang Reisig
The Synthesis Problem of Netcharts	84	(21)
Nicolas Baudru
Remi Morin
Non-sequential Behaviour of Dynamic Nets	105	(20)
Roberto Bruni
Hernan Melgratti
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets	125	(21)
Thomas Chatain
Claude Jard
On the Computation of Stubborn Sets of Colored Petri Nets	146	(20)
Sami Evangelista
Jean-Francois Pradat-Peyre
On the Construction of Pullbacks for Safe Petri Nets	166	(15)
Eric Fabre
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis	181	(20)
David Gilbert
Monika Heiner
How Expressive Are Petri Net Schemata?	201	(20)
Andreas Glausch
Wolfgang Reisig
A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets	221	(20)
Serge Haddad
Lynda Mokdad
Patrice Moreaux
Nested Nets for Adaptive Systems	241	(20)
Kees M. van Hee
Irina A. Lomazova
Olivia Oanea
Alexander Serebrenik
Natalia Sidorova
Marc Voorhoeve
Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets	261	(21)
Meuse N.O. Junior
Silvino Neto
Paulo Maciel
Ricardo Lima
Angelo Ribeiro
Raimundo Barreto
Eduardo Tavares
Frederico Braga
Infinite Process Semantics of Inhibitor Nets	282	(20)
H.C.M. Kleijn
M. Koutny
Towards Synthesis of Petri Nets from Scenarios	302	(20)
Robert Lorenz
Gabriel Juhas
Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions	322	(20)
Spyros A. Reveliotis
Jin Young Choi
On the Step Explosion Problem	342	(20)
Stephan Roch
Karsten Schmidt
Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets	362	(19)
Katrin Winkelmann
Holger Luczak
Tool Papers
Can I Execute My Scenario in Your Net? VipTool Tells You!	381	(10)
Robin Bergenthum
Jorg Desel
Gabriel Juhas
Robert Lorenz
Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets	391	(10)
Olivier Bonnet-Torres
Patrice Domenech
Charles Lesire
Catherine Tessier
ArgoSPE: Model-Based Software Performance Engineering	401	(10)
Elena Gomez-Martinez
Jose Merseguer
Petriweb: A Repository for Petri Nets	411	(10)
R. Goud
Kees M. van Hee
R.D.J. Post
J.M.E.M. van der Werf
Geist3D, a Simulation Tool for Geometry-Driven Petri Nets	421	(10)
Jochen Stier
Jens Jahnke
Hausi Muller
The BRITNeY Suite Animation Tool	431	(10)
Michael Westergaard
Kristian Bisgaard Lassen
Author Index	441