Transactions on Petri Nets and Other Models of Concurrency XII

• Corporate Author: SpringerLink (Online service)
• Other Authors: Koutny, Maciej (Editor), Kleijn, Jetty (Editor), Penczek, Wojciech (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017.
• Series: Lecture Notes in Computer Science, 10470
• Subjects: Computer science.; Software engineering.; Data structures (Computer science).; Algorithms.; Computer logic.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Algorithm Analysis and Problem Complexity.; Data Structures.

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:

• Properties of Plain, Pure, and Safe Petri Nets
• Similarity-based Approaches for Determining the Number of Trace Clusters in Process Discovery
• Log- and Model-Based Techniques for Security-Sensitive Tackling of Obstructed Workflow Executions
• Formal Modelling and Analysis of Distributed Storage Systems
• DB-Nets: on the Marriage of Colored Petri Nets and Relational Databases
• Transition Systems Reduction: Balancing between Precision and Simplicity
• Stubborn Set Intuition Explained
• Decomposed Replay Using Hiding and Reduction as Abstraction
• Multiplicative Transition Systems.