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
Herausgegeben:Donatelli, Susanna; Thiagarajan, P. S.

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Theoretical Computer Science and General Issues 4024
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 11767589, 978-3-540-34699-9
• Seitenzahl: 460
• Erscheinungstermin: 13. Juni 2006
• Englisch
• Abmessung: 235mm x 155mm x 25mm
• Gewicht: 640g
• ISBN-13: 9783540346999
• ISBN-10: 3540346996
• Artikelnr.: 20946652

Autorenporträt

Susanna Donatelli, Università di Torino, Italy / P.S. Thiagarajan, National University of Singapore

Inhaltsangabe

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.