Kurt Jensen, Susanna Donatelli, Jetty Kleijn (Eds.):
Transactions on Petri Nets and Other Models of Concurrency V.
Lecture Notes in Computer Science 6900 Springer 2012, ISBN 978-3-642-29071-8 
- Murad Banaji:
Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks.
1-21
- Robin Bergenthum, Jörg Desel, Andreas Harrer, Sebastian Mauser:
Modeling and Mining of Learnflows.
22-50
- Gianfranco Ciardo, Yang Zhao, Xiaoqing Jin:
Ten Years of Saturation: A Petri Net Perspective.
51-95
- Dorsaf Elhog-Benzina, Serge Haddad, Rolf Hennicker:
Refinement and Asynchronous Composition of Modal Petri Nets.
96-120
- Silien Hong, Fabrice Kordon, Emmanuel Paviot-Adet, Sami Evangelista:
Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets.
121-140
- Michal Knapik, Wojciech Penczek:
Bounded Model Checking for Parametric Timed Automata.
141-159
- Maciej Koutny, Marta Pietkiewicz-Koutny:
Synthesis Problem for Petri Nets with Localities.
160-180
- Juan-Pablo López-Grao, José Manuel Colom:
A Petri Net Perspective on the Resource Allocation Problem in Software Engineering.
181-200
- Marco Mascheroni, Fabio Farina:
Nets-Within-Nets Paradigm and Grid Computing.
201-220
- Marc Solé, Josep Carmona:
Incremental Process Discovery.
221-242
- Thomas Wagner, José Ghislain Quenum, Daniel Moldt, Christine Reese:
Providing an Agent Flavored Integration for Workflow Management.
243-264
- Michael Westergaard, Lars Michael Kristensen:
A Graphical Approach to Component-Based and Extensible Model Checking Platforms.
265-291
Last update Sat May 18 20:59:55 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
