| 2012 | An Infrastructure for Cost-Effective Testing of Operational Support Algorithms Based on Colored Petri Nets. Joyce Nakatumba, Michael Westergaard, Wil M. P. van der Aalst |
| 2012 | An SMT-Based Discovery Algorithm for C-Nets. Marc Solé, Josep Carmona |
| 2012 | Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings Serge Haddad, Lucia Pomello |
| 2012 | CPN Assistant II: A Tool for Management of Networked Simulations. Stefan Korecko, Ján Marcincin, Viliam Slodicák |
| 2012 | Capacity Planning for Vertical Search Engines: An Approach Based on Coloured Petri Nets. Veronica Gil-Costa, Jair Lobos, Alonso Inostrosa-Psijas, Mauricio Marín |
| 2012 | Complexity of the Soundness Problem of Bounded Workflow Nets. Guan Jun Liu, Jun Sun, Yang Liu, Jin Song Dong |
| 2012 | Cost Soundness for Priced Resource-Constrained Workflow Nets. María Martos-Salgado, Fernando Rosa-Velardo |
| 2012 | Data and Abstraction for Scenario-Based Modeling with Petri Nets. Dirk Fahland, Robert Prüfer |
| 2012 | Decomposing Process Mining Problems Using Passages. Wil M. P. van der Aalst |
| 2012 | Designing Weakly Terminating ROS Systems. Debjyoti Bera, Kees M. van Hee, Jan Martijn E. M. van der Werf |
| 2012 | Hybrid On-the-Fly LTL Model Checking with the Sweep-Line Method. Sami Evangelista, Lars Michael Kristensen |
| 2012 | Maximal Confluent Processes. Xu Wang |
| 2012 | Net Models for Concurrent Object Behaviour. Tony Hoare |
| 2012 | Nets-within-Nets to Model Innovative Space System Architectures. Frédéric Cristini, Catherine Tessier |
| 2012 | Old and New Algorithms for Minimal Coverability Sets. Antti Valmari, Henri Hansen |
| 2012 | On Profiles and Footprints - Relational Semantics for Petri Nets. Matthias Weidlich, Jan Martijn E. M. van der Werf |
| 2012 | On the α-Reconstructibility of Workflow Nets. Éric Badouel |
| 2012 | P- and T-Systems in the Nets-within-Nets-Formalism. Frank Heitmann, Michael Köhler-Bußmeier |
| 2012 | Safety Slicing Petri Nets. Astrid Rakow |
| 2012 | Snoopy - A Unifying Petri Net Tool. Monika Heiner, Mostafa Herajy, Fei Liu, Christian Rohr, Martin Schwarick |
| 2012 | Stochastic Modeling and Analysis Using QPME: Queueing Petri Net Modeling Environment v2.0. Simon Spinner, Samuel Kounev, Philipp Meier |
| 2012 | Stubborn Sets for Simple Linear Time Properties. Andreas Lehmann, Niels Lohmann, Karsten Wolf |
| 2012 | The Theory of WSTS: The Case of Complete WSTS. Alain Finkel, Jean Goubault-Larrecq |
| 2012 | Using Colored Petri Nets to Construct Coalescent Hidden Markov Models: Automatic Translation from Demographic Specifications to Efficient Inference Methods. Thomas Mailund, Anders E. Halager, Michael Westergaard |