Transactions on Petri Nets and Other Models of Concurrency XIII

• Corporate Author: SpringerLink (Online service)
• Other Authors: Koutny, Maciej (Editor, http://id.loc.gov/vocabulary/relators/edt), Kristensen, Lars Michael (Editor, http://id.loc.gov/vocabulary/relators/edt), Penczek, Wojciech (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Series: Transactions on Petri Nets and Other Models of Concurrency, 11090
• Subjects: Computers.; Computer science-Mathematics.; Data structures (Computer science).; Transportation.; Data mining.; Operating systems (Computers).; Theory of Computation.; Discrete Mathematics in Computer Science.; Data Structures.; Data Mining and Knowledge Discovery.; Operating Systems.

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:

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