| Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks / Murad Banaji |
| Modeling and Mining of Learnflows / Robin Bergenthum ; Jörg Desel ; Andreas Harrer ; Sebastian Mauser |
| Ten Years of Saturation: A Petri Net Perspective / Gianfranco Ciardo ; Yang Zhao ; Xiaoging Jin |
| Refinement and Asynchronous Composition of Model Petri Nets / Dorsaf Elhog-Benzina ; Serge Haddad ; Rolf Hennicker |
| Computing a Hierarchical Static Order for Decision Diagrom-Based Representation from P/T Nets / Silien Hong ; Fabrice Kordon ; Emmanuel Paviot-Adet ; Sami Evangelista |
| Bounded Model Checking for Parametric Timed Automata / Michat Knapik ; Wojciech Penczek |
| Synthesis Problem for Petri Nets with Localities / Maciej Koutny ; Marta Pietkiewicz-Koutny |
| A Petri Net Perspective on the Resource Allocation Problem in Software Engineering / Juan-Pablo López-Grao ; José-Manuel Colom |
| Nets-Within-Nets Paradigm and Grid Computing / Marco Mascheroni ; Fabio Farina |
| Incremental Process Discovery / Marc Solé ; Josep Carmona |
| Providing an Agent Flavored Integration for Workflow Management / Thomas Wagner ; José Quenum ; Daniel Moldt ; Christine Reese |
| A Graphical Approach to Component-Based and Extensible Model Checking Platforms / Michael Westergaard ; Lars Michael Kristensen |
| Author Index |
| Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks / Murad Banaji |
| Modeling and Mining of Learnflows / Robin Bergenthum ; Jörg Desel ; Andreas Harrer ; Sebastian Mauser |
| Ten Years of Saturation: A Petri Net Perspective / Gianfranco Ciardo ; Yang Zhao ; Xiaoging Jin |
ＥＢ
