Transactions on Petri Nets and Other Models of Concurrency IV

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Jensen, Kurt (Επιμελητής έκδοσης), Donatelli, Susanna (Επιμελητής έκδοσης), Koutny, Maciej (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 6550
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Computers.; Algorithms.; Computer simulation.; Computer Science.; Models and Principles.; Theory of Computation.; Simulation and Modeling.; Software Engineering.; Computer Communication Networks.; Algorithm Analysis and Problem Complexity.

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

Πίνακας περιεχομένων:

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