Application and Theory of Petri Nets and Concurrency

Invited Talks .- From Process-Agnostic to Process-Aware Automation, Mining, and Prediction.- Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems inspired by Net Condition/Event Systems.- Process Mining .- There and Back Again: On the Reconstructability and Rediscoverabilty of Typed Jackson Nets.- ILP² Miner - Process Discovery for Partially Ordered Event Logs using Integer Linear Programming.- Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checking.- Exact and Approximated Log Alignments for Processes with Inter-case Dependencies.- Semantics .- Taking Complete Finite Prefixes To High Level, Symbolically.- Interval Traces with Mutex Relation.- A Myhill-Nerode Theorem for Higher-Dimensional Automata.- Tools . - Hippo-CPS: A Tool for Verification and Analysis of Petri Net-based Cyber-Physical Systems.- Mochy : a tool for the modeling of concurrent hybrid systems.-Renew: Modularized Architecture and NewFeatures.- Explorative Process Discovery using Activity Projections.- Verification . - Computing Under-approximations of Multivalued Decision Diagram.-Stochastic Decision Petri Nets.- Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets.- On the Reversibility of Circular Conservative Petri Nets.- Automated Polyhedral Abstraction Proving. -Experimenting with Stubborn Sets on Petri Nets.- Timed Models .- Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. -A state class based controller synthesis approach for Time Petri Nets.- Model Transformation .- Transforming Dynamic Condition Response Graphs to safe Petri Nets.- Enriching Heraklit Modules by Agent Interaction Diagrams.