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...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edition:1st ed. 2010.
Series:Transactions on Petri Nets and Other Models of Concurrency, 6550
Subjects:
Computer science.
Computer simulation.
Software engineering.
Computer networks .
Algorithms.
Models of Computation.
Theory of Computation.
Computer Modelling.
Software Engineering.
Computer Communication Networks.
Online Access:Texto Completo
Table of Contents:
  • -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.

Similar Items