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 /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Donatelli, Susanna (Επιμελητής έκδοσης), Thiagarajan, P. S. (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4024
• Θέματα: Computer science.; Microprocessors.; Computer communication systems.; Software engineering.; Operating systems (Computers).; Computers.; Computer science > Mathematics.; Computer Science.; Theory of Computation.; Software Engineering.; Discrete Mathematics in Computer Science.; Computer Communication Networks.; Processor Architectures.; Operating Systems.

Πίνακας περιεχομένων:

• 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.