Application and Theory of Petri Nets and Concurrency

Propagation Nets.- Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking.- Complex Networks and Link Streams for the Empirical Analysis of Large Software.- Soundness of Timed-Arc Workflow Nets.- Process Model Discovery: A Method Based on Transition SystemDecomposition.- Discovering Block-Structured Process Models from Incomplete Event Logs.- Synthesis of Persistent Systems.- Learning Transparent Data Automata.- A Programming Language for Spatial Distribution of Net Systems.- Flow Unfolding of Multi-clock Nets.- Non-interference by Unfolding.- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems.- On Weighted Petri Net Transducers.-Exhibition of a Structural Bug with Wings.- Analysis of Petri Net Models through Stochastic Differential Equations.- Dynamic Networks of Timed Petri Nets.- A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application.- On the Reversibility of Well-Behaved Weighted Choice-Free Systems.- (Stochastic) Model Checking in GreatSPN.- StrataGEM: A Generic Petri Net Verification Framework.- A Steering Server for Collaborative Simulation of Quantitative Petri Nets.-Kaira: Development Environment for MPI Applications.