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 /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Donatelli, Susanna (Editor ), Thiagarajan, P.S (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Theoretical Computer Science and General Issues, 4024
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
  • 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.

Ejemplares similares