A Characterization of Combined Traces Using Labeled Stratified Order Structures Le |
Separability in
Persistent Petri Nets Best, Darondeau |
PNML Framework: an
extendable reference implementation of the Petri Net Markup Language Petrucci, Kordon, Hillah, Treves |
Wendy: a tool to synthesize partners for services Lohmann, Weinberg |
AlPiNA: a symbolic model checker Marechal, Buchs, Risoldi, Hostettler |
Process Mining from a Basis of State Regions Carmona, Sole |
Efficient Computation of
Causal Behavioural Profiles using Structural Decomposition Weidlich, Polyvyanyy, Mendling, Weske |
Canonical Transition Set Semantics for Petri Nets Wang |
The NEO Protocol for
Large-Scale Distributed Database Systems: Modelling and Initial
Verification Petrucci, Choppy, Dedova, Evangelista, Klai, Hong |
Learning Workflow Petri
Nets Esparza, Leucker, Schlund |
Forward analysis for Petri nets with name
creation Rosa-Velardo, de Frutos-Escrig |
Integrated Process
Planning and Supply Chain Configuration for Commodity Assemblies using
Petri Nets Klampfl |
New Algorithms for Deciding the Siphon-Trap
Property Oanea, Karsten, Wimmel |
Can Stubborn Sets Be Optimal? Valmari, Hansen |
Factorization
Properties of Symbolic Unfoldings of Colored Petri Nets Fabre, Chatain |
GreatSPN
Enhanced with Decision Diagram Data Structures Miner, Babar, Becutti, Donatelli |