| 2010 | A Characterization of Combined Traces Using Labeled Stratified Order Structures. Dai Tri Man Le |
| 2010 | A Perspective on Explicit State Space Exploration of Coloured Petri Nets: Past, Present, and Future. Lars Michael Kristensen |
| 2010 | AlPiNA: A Symbolic Model Checker. Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi |
| 2010 | Applications and Theory of Petri Nets, 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings Johan Lilius, Wojciech Penczek |
| 2010 | Can Stubborn Sets Be Optimal? Antti Valmari, Henri Hansen |
| 2010 | Canonical Transition Set Semantics for Petri Nets. Yunhe Wang, Li Jiao |
| 2010 | Efficient Computation of Causal Behavioural Profiles Using Structural Decomposition. Matthias Weidlich, Artem Polyvyanyy, Jan Mendling, Mathias Weske |
| 2010 | Factorization Properties of Symbolic Unfoldings of Colored Petri Nets. Thomas Chatain, Eric Fabre |
| 2010 | Forward Analysis for Petri Nets with Name Creation. Fernando Rosa-Velardo, David de Frutos-Escrig |
| 2010 | GreatSPN Enhanced with Decision Diagram Data Structures. Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner |
| 2010 | Instance Deadlock: A Mystery behind Frozen Programs. Gabriel Juhás, Igor Kazlov, Ana Juhásová |
| 2010 | Integrated Process Planning and Supply Chain Configuration for Commodity Assemblies Using Petri Nets. Oleg Yu. Gusikhin, Erica Klampfl |
| 2010 | Learning Workflow Petri Nets. Javier Esparza, Martin Leucker, Maximilian Schlund |
| 2010 | New Algorithms for Deciding the Siphon-Trap Property. Olivia Oanea, Harro Wimmel, Karsten Wolf |
| 2010 | PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language. Lom-Messan Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Trèves |
| 2010 | Petri Nets with Localities and Testing. Jetty Kleijn, Maciej Koutny |
| 2010 | Process Mining from a Basis of State Regions. Marc Solé, Josep Carmona |
| 2010 | Separability in Persistent Petri Nets. Eike Best, Philippe Darondeau |
| 2010 | Some Thoughts on Behavioral Programming. David Harel |
| 2010 | The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification. Christine Choppy, Anna Dedova, Sami Evangelista, Silien Hong, Kais Klai, Laure Petrucci |
| 2010 | Wendy: A Tool to Synthesize Partners for Services. Niels Lohmann, Daniela Weinberg |