Transactions on Petri Nets and Other Models of Concurrency XIII

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

Full description

Bibliographic Details
Other Authors: Koutny, Maciej (Editor), Kristensen, Lars Michael (Editor), Penczek, Wojciech (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2018, 2018
Edition:1st ed. 2018
Series:Transactions on Petri Nets and Other Models of Concurrency
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
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