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 /

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Kleijn, Jetty (Éditeur intellectuel), Yakovlev, Alex (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Édition:1st ed. 2007.
Collection:Theoretical Computer Science and General Issues, 4546
Sujets:
Computer science.
Software engineering.
Computer science-Mathematics.
Discrete mathematics.
Computer networks .
Microprocessors.
Computer architecture.
Operating systems (Computers).
Theory of Computation.
Software Engineering.
Discrete Mathematics in Computer Science.
Computer Communication Networks.
Processor Architectures.
Operating Systems.
Accès en ligne:Texto Completo
Table des matières:
  • 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.

Documents similaires