| 2008 | A Monitoring Toolset for Paose. Lawrence Cabac, Till Dörges, Heiko Rölke |
| 2008 | A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. Roland Meyer, Victor Khomenko, Tim Strazny |
| 2008 | A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev |
| 2008 | Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models. João Lourenço, Luís Gomes |
| 2008 | Applications and Theory of Petri Nets, 29th International Conference, PETRI NETS 2008, Xi'an, China, June 23-27, 2008. Proceedings Kees M. van Hee, Rüdiger Valk |
| 2008 | Challenges and Opportunities for Formal Specifications in Service Oriented Architectures. Gustavo Alonso |
| 2008 | Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio Gadducci |
| 2008 | Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence Planning. Hendrik Oberheid, Dirk Söffker |
| 2008 | Decomposition Theorems for Bounded Persistent Petri Nets. Eike Best, Philippe Darondeau |
| 2008 | Faster Unfolding of General Petri Nets Based on Token Flows. Robin Bergenthum, Robert Lorenz, Sebastian Mauser |
| 2008 | Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. Paul Fleischer, Lars Michael Kristensen |
| 2008 | HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets. Fausto Sessego, Alessandro Giua, Carla Seatzu |
| 2008 | Hierarchical Set Decision Diagrams and Automatic Saturation. Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon |
| 2008 | Labeled Step Sequences in Petri Nets. Matthias Jantzen, Georg Zetzsche |
| 2008 | MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs. Kais Klai, Denis Poitrenaud |
| 2008 | Modeling Interactions between Biochemical Reactions. Andrzej Ehrenfeucht, Grzegorz Rozenberg |
| 2008 | Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. Roland Bouroulet, Raymond Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau |
| 2008 | Modelling Concurrency with Quotient Monoids. Ryszard Janicki, Dai Tri Man Le |
| 2008 | Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets. Lay G. Ding, Lin Liu |
| 2008 | Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks. Kristian L. Espensen, Mads K. Kjeldsen, Lars Michael Kristensen |
| 2008 | On the Physical Basics of Information Flow. Carl Adam Petri |
| 2008 | Parametric Language Analysis of the Class of Stop-and-Wait Protocols. Guy Edward Gallasch, Jonathan Billington |
| 2008 | Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds. Kunihiko Hiraishi |
| 2008 | Process Discovery Using Integer Linear Programming. Jan Martijn E. M. van der Werf, Boudewijn F. van Dongen, Cor A. J. Hurkens, Alexander Serebrenik |
| 2008 | Stratifying Winning Positions in Parity Games. Huimin Lin |
| 2008 | Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). Morgan Magnin, Didier Lime, Olivier H. Roux |
| 2008 | Synthesis of Nets with Step Firing Policies. Philippe Darondeau, Maciej Koutny, Marta Pietkiewicz-Koutny, Alexandre Yakovlev |
| 2008 | Synthesis of Petri Nets from Scenarios with VipTool. Robin Bergenthum, Jörg Desel, Robert Lorenz, Sebastian Mauser |
| 2008 | Transaction Calculus. Jifeng He |