Petri Nets and Other Models of Concurrency – ICATPN 2007 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Kleijn, Jetty (Επιμελητής έκδοσης), Yakovlev, Alex (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Computer Science, 4546
• Θέματα: 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
• Petri Nets, Discrete Physics, and Distributed Quantum Computation
• Autonomous Distributed System and Its Realization by Multi Agent Nets
• Petri Nets Without Tokens
• Toward Specifications for Reconfigurable Component Systems
• Generating Petri Net State Spaces
• Full Papers
• Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms
• Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets
• Improving Static Variable Orders Via Invariants
• Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems
• From Many Places to Few: Automatic Abstraction Refinement for Petri Nets
• A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms
• History-Dependent Petri Nets
• Complete Process Semantics for Inhibitor Nets
• Behaviour-Preserving Transition Insertions in Unfolding Prefixes
• Combining Decomposition and Unfolding for STG Synthesis
• Object Nets for Mobility
• Web Service Orchestration with Super-Dual Object Nets
• Synthesis of Elementary Net Systems with Context Arcs and Localities
• Nets with Tokens Which Carry Data
• Operating Guidelines for Finite-State Services
• Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios
• Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery
• Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets
• Name Creation vs. Replication in Petri Net Systems
• Modelling the Datagram Congestion Control Protocol’s Connection Management and Synchronization Procedures
• The ComBack Method – Extending Hash Compaction with Backtracking
• Computing Minimal Elements of Upward-Closed Sets for Petri Nets
• Tool Papers
• ProM 4.0: Comprehensive Support for Real Process Analysis
• dmcG: A Distributed Symbolic Model Checker Based on GreatSPN
• Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool.