Invited Papers.- Instance Deadlock: A Mystery behind Frozen Programs.- Some Thoughts on Behavioral Programming.- Petri Nets with Localities and Testing.- A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future.- Full Papers.- Can Stubborn Sets Be Optimal?.- Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition.- Canonical Transition Set Semantics for Petri Nets.- A Characterization of Combined Traces Using Labeled Stratified Order Structures.- Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets.- The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification.- Factorization Properties of Symbolic Unfoldings of Colored Petri Nets.- Forward Analysis for Petri Nets with Name Creation.- Learning Workflow Petri Nets.- Process Mining from a Basis of State Regions.- Separability in Persistent Petri Nets.- New Algorithms for Deciding the Siphon-Trap Property.- Tool Papers.- AlPiNA: A Symbolic Model Checker.- Wendy: A Tool to Synthesize Partners for Services.- GreatSPN Enhanced with Decision Diagram Data Structures.- PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language.
