Transactions on petri nets and other models of concurrency XIII. (2018)

• Record Type: Book
• Other Titles: Transactions on petri nets and other models of concurrency 13
• Further Information: Note: Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek (eds.).
• Editors: Koutny, Maciej, 1958-; Kristensen, Lars M (Lars Michael); Penczek, Wojciech
• Contents: Computing Alignments of Event Data and Process Models -- Heuristic Mining Approaches for High-Utility Local Process Models -- On Stability of Regional Orthomodular Posets -- Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms -- Model Synchronization and Concurrent Simulation of Multiple Formalisms Based on Reference Nets -- Complexity Aspects of Web Services Composition -- GPU Computations and Memory Access Model Based on Petri Net -- Model-Based Testing of the Gorums Framework for Fault-Tolerant Distributed Systems -- MCC 2017 -- The Seventh Model Checking Contest.
• Publisher Details: Berlin, Germany : Springer
• Publication Date: 2018
• Extent: 1 online resource (xvii, 211 pages), illustrations (some color)
• Subjects: 511.3/5; Petri nets; Theory of Computation; Discrete Mathematics in Computer Science; Data Structures; Transportation; Data Mining and Knowledge Discovery; Operating Systems; Petri nets; Electronic books
• Languages: English
• ISBNs: 9783662583814; 3662583801; 9783662583807
• Related ISBNs: 366258381X; 9783662583807
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed December 3, 2018).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.