0 | -- | 0 | Lars Michael Kristensen, Wojciech Penczek, Laure Petrucci. Preface |
1 | -- | 30 | Pierre-Alain Reynier, Frédéric Servais. Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning |
31 | -- | 58 | Jean-Michel Couvreur, Denis Poitrenaud, Pascal Weil. Branching Processes of General Petri Nets |
59 | -- | 83 | Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf. Refinement of Synchronizable Places with Multi-workflow Nets |
85 | -- | 117 | Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers. A Petri Net Interpretation of Open Reconfigurable Systems |
119 | -- | 146 | Jetty Kleijn, Maciej Koutny. Mutex Causality in Processes and Traces of General Elementary Nets |
147 | -- | 172 | Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen. Synthesis and Analysis of Product-form Petri Nets |