Invited Papers |
Invariant Based Programming / Ralph-Johan Back |
On the Integration of UML and Petri Nets in Software Development / Javier Campos ; Jose Merseguer |
Component Tools: Integrating Petri Nets with Other Formal Methods / Ekkart Kindler ; Vladimir Rubin ; Robert Wagner |
Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development / Jianli Xu |
Full Papers |
Compensation in Workflow Nets / Baver Acu ; Wolfgang Reisig |
The Synthesis Problem of Netcharts / Nicolas Baudru ; Remi Morin |
Non-sequential Behaviour of Dynamic Nets / Roberto Bruni ; Hernan Melgratti |
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets / Thomas Chatain ; Claude Jard |
On the Computation of Stubborn Sets of Colored Petri Nets / Sami Evangelista ; Jean-Francois Pradat-Peyre |
On the Construction of Pullbacks for Safe Petri Nets / Eric Fabre |
From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis / David Gilbert ; Monika Reiner |
How Expressive Are Petri Net Schemata? / Andreas Glausch |
A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets / Serge Haddad ; Lynda Mokdad ; Patrice Moreaux |
Nested Nets for Adaptive Systems / 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 / Meuse N.O. Junior ; Silvino Neto ; Paulo Maciel ; Ricardo Lima ; Angela Ribeiro ; Raimundo Barreto ; Eduardo Tavares ; Frederico Braga |
Infinite Process Semantics of Inhibitor Nets / H.C.M. Kleijn ; M. Koutny |
Towards Synthesis of Petri Nets from Scenarios / Robert Lorenz ; Gabriel Juhas |
Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions / Spyros A. Reveliotis ; Jin Young Choi |
On the Step Explosion Problem / Stephan Roch ; Karsten Schmidt |
Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets / Katrin Winkelmann ; Holger Luczak |
Tool Papers |
Can I Execute My Scenario in Your Net? VipTool Tells You! / Robin Bergenthum ; Jorg Desel |
EXHOST-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets / Olivier Bonnet-Torres ; Patrice Domenech ; Charles Lesire ; Catherine Tessier |
ArgoSPE: Model-Based Software Performance Engineering / Elena Gomez-Martinez |
Petriweb: A Repository for Petri Nets / R. Goud ; R.D.J. Post ; J.M.E.M. van der Werf |
Geist3D, a Simulation Tool for Geometry-Driven Petri Nets / Jochen Stier ; Jens Jahnke ; Hausi Muller |
The BRITNeY Suite Animation Tool / Michael Westergaard ; Kristian Bisgaard Lassen |
Author Index |
Invited Papers |
Invariant Based Programming / Ralph-Johan Back |
On the Integration of UML and Petri Nets in Software Development / Javier Campos ; Jose Merseguer |
Component Tools: Integrating Petri Nets with Other Formal Methods / Ekkart Kindler ; Vladimir Rubin ; Robert Wagner |
Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development / Jianli Xu |
Full Papers |