Transactions on Petri Nets and Other Models of Concurrency XII - Koutny, Maciej; Kleijn, Jetty; Penczek, Wojciech; Zhang, Mingmin; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017)
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.
Keywords: Software engineering; Computer logic; Algorithms; Data structures (Computer science).; Software Engineering; Logics and Meanings of Programs; Algorithm Analysis and Problem Complexity; Data Structures