Transactions on Petri Nets and Other Models of Concurrency IV

These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own E...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Colección:Transactions on Petri Nets and Other Models of Concurrency, 6550
Temas:
Computer science.
Computer simulation.
Software engineering.
Computer networks .
Algorithms.
Models of Computation.
Theory of Computation.
Computer Modelling.
Software Engineering.
Computer Communication Networks.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • -Vicinity Respecting Homomorphisms for Abstracting System Requirements
  • Search-Order Independent State Caching
  • Bounded Parametric Model Checking for Elementary Net Systems
  • SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets
  • Parametric Model Checking with VerICS
  • Schedule-Aware Workflow Management Systems
  • On-the-Fly Auditing of Business Processes
  • Modeling Organizational Units as Modular Components of Systems of Systems
  • A Multi-Agent Organizational Framework for Coevolutionary Optimization.

Ejemplares similares