| 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 |
図書
ＥＢ
