| 2016 | AB-QSSPN: Integration of Agent-Based Simulation of Cellular Populations with Quasi-Steady State Simulation of Genome Scale Intracellular Networks. Wojciech Ptak, Andrzej M. Kierzek, Jacek Sroka |
| 2016 | ABCD: A User-Friendly Language for Formal Modelling and Analysis. Franck Pommereau |
| 2016 | Anti-alignments in Conformance Checking - The Dark Side of Process Models. Thomas Chatain, Josep Carmona |
| 2016 | Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings Fabrice Kordon, Daniel Moldt |
| 2016 | Characterising Petri Net Solvable Binary Words. Eike Best, Evgeny Erofeev, Uli Schlachter, Harro Wimmel |
| 2016 | Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture. Slawomir Lasota |
| 2016 | Decidable Classes of Unbounded Petri Nets with Time and Urgency. S. Akshay, Blaise Genest, Loïc Hélouët |
| 2016 | Efficient Decomposition Algorithm for Stationary Analysis of Complex Stochastic Petri Net Models. Kristóf Marussy, Attila Klenik, Vince Molnár, András Vörös, István Majzik, Miklós Telek |
| 2016 | From Actions, Transactions, and Processes to Services. Manfred Broy |
| 2016 | Health Monitoring of a Planetary Rover Using Hybrid Particle Petri Nets. Quentin Gaudel, Pauline Ribot, Elodie Chanthery, Matthew J. Daigle |
| 2016 | Merging Alignments for Decomposed Replay. H. M. W. Verbeek, Wil M. P. van der Aalst |
| 2016 | Petri Net Synthesis for Restricted Classes of Nets. Uli Schlachter |
| 2016 | PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research. András Vörös, Dániel Darvas, Vince Molnár, Attila Klenik, Ákos Hajdu, Attila Jámbor, Tamás Bartha, István Majzik |
| 2016 | Probabilistic Time Petri Nets. Yrvann Emzivat, Benoît Delahaye, Didier Lime, Olivier H. Roux |
| 2016 | Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics. Loïc Hélouët, Karim Kecir |
| 2016 | Reasoning About Discovery Clouds. Ian T. Foster |
| 2016 | Renew 2.5 - Towards a Comprehensive Integrated Development Environment for Petri Net-Based Applications. Lawrence Cabac, Michael Haustermann, David Mosteller |
| 2016 | Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets. Leonid W. Dworzanski, Irina A. Lomazova |
| 2016 | The Power of Prime Cycles. Eike Best, Raymond Devillers |
| 2016 | Transforming CPN Models into Code for TinyOS: A Case Study of the RPL Protocol. Lars Michael Kristensen, Vegard Veiset |