| 2014 | (Stochastic) Model Checking in GreatSPN. Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli |
| 2014 | A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application. Ernst W. Mayr, Jeremias Weihmann |
| 2014 | A Programming Language for Spatial Distribution of Net Systems. Pawel Sobocinski, Owen Stephens |
| 2014 | A Steering Server for Collaborative Simulation of Quantitative Petri Nets. Mostafa Herajy, Monika Heiner |
| 2014 | Analysis of Petri Net Models through Stochastic Differential Equations. Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Alessio Angius, Gianfranco Balbo |
| 2014 | Application and Theory of Petri Nets and Concurrency - 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings Gianfranco Ciardo, Ekkart Kindler |
| 2014 | Complex Networks and Link Streams for the Empirical Analysis of Large Software. Matthieu Latapy, Tiphaine Viard |
| 2014 | Discovering Block-Structured Process Models from Incomplete Event Logs. Sander J. J. Leemans, Dirk Fahland, Wil M. P. van der Aalst |
| 2014 | Dynamic Networks of Timed Petri Nets. María Martos-Salgado, Fernando Rosa-Velardo |
| 2014 | Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking. Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Linda Leuschner |
| 2014 | Exhibition of a Structural Bug with Wings. Florent Avellaneda, Rémi Morin |
| 2014 | Flow Unfolding of Multi-clock Nets. Giovanni Casu, G. Michele Pinna |
| 2014 | Kaira: Development Environment for MPI Applications. Stanislav Böhm, Marek Behalek, Ondrej Meca, Martin Surkovský |
| 2014 | Learning Transparent Data Automata. Normann Decker, Peter Habermehl, Martin Leucker, Daniel Thoma |
| 2014 | Non-interference by Unfolding. Paolo Baldan, Alberto Carraro |
| 2014 | On Weighted Petri Net Transducers. Robert Lorenz, Markus Huber, Günther Wirsching |
| 2014 | On the Reversibility of Well-Behaved Weighted Choice-Free Systems. Thomas Hujsa, Jean-Marc Delosme, Alix Munier Kordon |
| 2014 | Process Model Discovery: A Method Based on Transition System Decomposition. Anna A. Kalenkova, Irina A. Lomazova, Wil M. P. van der Aalst |
| 2014 | Propagation Nets. Kurt Lautenbach |
| 2014 | Soundness of Timed-Arc Workflow Nets. José Antonio Mateo, Jirí Srba, Mathias Grund Sørensen |
| 2014 | StrataGEM: A Generic Petri Net Verification Framework. Edmundo López Bóbeda, Maximilien Colange, Didier Buchs |
| 2014 | Synthesis of Persistent Systems. Eike Best, Raymond Devillers |
| 2014 | The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems. Artem Polyvyanyy, Matthias Weidlich, Raffaele Conforti, Marcello La Rosa, Arthur H. M. ter Hofstede |