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 /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Kleijn, Jetty (Editor ), Yakovlev, Alex (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Theoretical Computer Science and General Issues, 4546
Temas:
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.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares