List of Accepted Papers
| 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 |
