Transactions on Petri Nets and Other Models of Concurrency IV (Paperback, 2011)

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