Table of Contents: “... Instances -- Fast Approximation Algorithms for Stabbing Special Families of Line Segments with Equal Disks -- Process Mining -- Checking Conformance between Colored Petri Nets and Event Logs -- Data and Reference Semantic-Based Simulator of DB-nets with the Use...”

Full text