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

Invited Papers.- Invariant Based Programming.- On the Integration of UML and Petri Nets in Software Development.- Component Tools: Integrating Petri Nets with Other Formal Methods.- Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development.- Full Papers.- Compensation in Workflow Nets.- The Synthesis Problem of Netcharts.- Non-sequential Behaviour of Dynamic Nets.- Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets.- On the Computation of Stubborn Sets of Colored Petri Nets.- On the Construction of Pullbacks for Safe Petri Nets.- From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis.- How Expressive Are Petri Net Schemata?.- A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets.- Nested Nets for Adaptive Systems.- Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets.- Infinite Process Semantics of Inhibitor Nets.- Towards Synthesis of Petri Nets from Scenarios.- Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions.- On the Step Explosion Problem.- Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets.- Tool Papers.- Can I Execute My Scenario in Your Net? VipTool Tells You!.- Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets.- ArgoSPE: Model-Based Software Performance Engineering.- Petriweb: A Repository for Petri Nets.- Geist3D, a Simulation Tool for Geometry-Driven Petri Nets.- The BRITNeY Suite Animation Tool.