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 /

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 /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Kleijn, Jetty (Editor), Yakovlev, Alex (Editor)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Series:Lecture Notes in Computer Science, 4546
Subjects:
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.
Online Access:Full Text via HEAL-Link
Table of Contents:
  • 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.

Similar Items