Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Lilius, Johan (Editor ), Penczek, Wojciech (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Theoretical Computer Science and General Issues, 6128
Temas:
Computer science.
Computer programming.
Software engineering.
Compilers (Computer programs).
Theory of Computation.
Programming Techniques.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Invited Papers
  • Instance Deadlock: A Mystery behind Frozen Programs
  • Some Thoughts on Behavioral Programming
  • Petri Nets with Localities and Testing
  • A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future
  • Full Papers
  • Can Stubborn Sets Be Optimal?
  • Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition
  • Canonical Transition Set Semantics for Petri Nets
  • A Characterization of Combined Traces Using Labeled Stratified Order Structures
  • Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets
  • The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification
  • Factorization Properties of Symbolic Unfoldings of Colored Petri Nets
  • Forward Analysis for Petri Nets with Name Creation
  • Learning Workflow Petri Nets
  • Process Mining from a Basis of State Regions
  • Separability in Persistent Petri Nets
  • New Algorithms for Deciding the Siphon-Trap Property
  • Tool Papers
  • AlPiNA: A Symbolic Model Checker
  • Wendy: A Tool to Synthesize Partners for Services
  • GreatSPN Enhanced with Decision Diagram Data Structures
  • PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language.

Ejemplares similares