On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets.- Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs.- Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers.- On Interval Process Semantics of Petri Nets with Inhibitor Arcs.- An SRN-Based Resiliency Quantification Approach.- Non-atomic Transition Firing in Contextual Nets.- Discrete Parameters in Petri Nets.- Negotiation Programs.- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets.- Charlie - An Extensible Petri Net Analysis Tool.- Petri Nets with Structured Data.- On the Reversibility of Live Equal-Conflict Petri Nets.- SNAKES: A Flexible High-Level Petri Nets Library.- Characterizing Stable Inequalities of Petri Nets.- Process Discovery Using Localized Events.- New Search Strategies for the Petri Net CEGAR Approach.- Workflow Management Principles for Interactions Between Petri Net-Based Agents.