| 2017 | An Integrated Environment for Petri Net Slicing. Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit |
| 2017 | Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings Wil M. P. van der Aalst, Eike Best |
| 2017 | Complexity Made Simple (at a Small Price). Christos G. Cassandras |
| 2017 | Evaluating and Improving SIP Non-INVITE Transaction to Alleviate the Losing Race Problem. Junxian Liu, Lin Liu, Tao Chen |
| 2017 | Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation. Andreas Engelbredt Dalsgaard, Søren Enevoldsen, Peter Fogh, Lasse S. Jensen, Tobias Skovgaard Jepsen, Isabella Kaufmann, Kim G. Larsen, Søren M. Nielsen, Mads Chr. Olesen, Samuel Pastva, Jirí Srba |
| 2017 | Faster Simulation of (Coloured) Petri Nets Using Parallel Computing. Franck Pommereau, Jordan de la Houssaye |
| 2017 | Getting the Priorities Right: Saturation for Prioritised Petri Nets. Kristóf Marussy, Vince Molnár, András Vörös, István Majzik |
| 2017 | Model Checking Concurrency and Causality. Karsten Wolf |
| 2017 | Modelling and Evaluation of a Control Room Application. Elvio Gilberto Amparore, Susanna Donatelli, Elisa Landini |
| 2017 | On Liveness and Deadlockability in Subclasses of Weighted Petri Nets. Thomas Hujsa, Raymond Devillers |
| 2017 | Parameterized Complexity and Approximability of Coverability Problems in Weighted Petri Nets. Dimitri Watel, Marc-Antoine Weisser, Dominique Barth |
| 2017 | Performance and Replica Consistency Simulation for Quorum-Based NoSQL System Cassandra. Xiangdong Huang, Jianmin Wang, Jialin Qiao, Liangfan Zheng, Jinrui Zhang, Raymond K. Wong |
| 2017 | Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools. Lom-Messan Hillah, Fabrice Kordon |
| 2017 | Resource Equivalences in Petri Nets. Irina A. Lomazova |
| 2017 | Restricting Hornets to Support Self-adaptive Systems. Michael Köhler-Bußmeier |
| 2017 | Synthesis and Analysis of Process Networks by Joint Application of P-graphs and Petri Nets. Rozália Lakner, Ferenc Friedler, Botond Bertók |
| 2017 | The Alignment of Formal, Structured and Unstructured Process Descriptions. Josep Carmona |
| 2017 | The Complexity of Diagnosability and Opacity Verification for Petri Nets. Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon |
| 2017 | Weak Observable Liveness and Infinite Games on Finite Graphs. Luca Bernardinello, Görkem Kilinç, Lucia Pomello |
| 2017 | travis - An Online Tool for the Synthesis and Analysis of Petri Nets with Final States. Benjamin Meis, Robin Bergenthum, Jörg Desel |