Transactions on Petri Nets and Other Models of Concurrency IV

• Corporate Author: SpringerLink (Online service)
• Other Authors: Jensen, Kurt. (Editor), Donatelli, Susanna. (Editor), Koutny, Maciej. (Editor)
• Format: Electronic
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Series: Lecture Notes in Computer Science, 6550
• Subjects: Computer science.; Computer Communication Networks.; Software engineering.; Information theory.; Computer software.; Computer simulation.; Computer Science.; Models and Principles.; Theory of Computation.; Simulation and Modeling.; Software Engineering.; Algorithm Analysis and Problem Complexity.
• Online Access: https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.1007/978-3-642-18222-8

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

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.