32. Petri Nets 2011:
Newcastle,
UK
Lars Michael Kristensen, Laure Petrucci (Eds.):
Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings.
Lecture Notes in Computer Science 6709 Springer 2011, ISBN 978-3-642-21833-0 
Invited Talks
Invited Talks
- Pierre Chambart, Alain Finkel, Sylvain Schmitz:
Forward Analysis and Model Checking for Trace Bounded WSTS.
49-68
- Pierre-Alain Reynier, Frédéric Servais:
Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning.
69-88
- Victor Khomenko, Andrey Mokhov:
An Algorithm for Direct Construction of Complete Merged Processes.
89-108
- G. Michele Pinna:
How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings.
109-128
- Jean-Michel Couvreur, Denis Poitrenaud, Pascal Weil:
Branching Processes of General Petri Nets.
129-148
- Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved!
149-168
- Michael Westergaard, Fabrizio Maria Maggi:
Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets.
169-188
- Harro Wimmel, Karsten Wolf:
Finding a Witness Path for Non-liveness in Free-Choice Nets.
189-207
- Frédéric Peschanski, Hanna Klaudel, Raymond R. Devillers:
A Petri Net Interpretation of Open Reconfigurable Systems.
208-227
- Jetty Kleijn, Maciej Koutny:
The Mutex Paradigm of Concurrency.
228-247
- Henri Hansen, Xu Wang:
On the Origin of Events: Branching Cells as Stubborn Sets.
248-267
- Jonathan Billington, Guy Edward Gallasch:
On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join Subnet.
268-287
- Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen:
Synthesis and Analysis of Product-Form Petri Nets.
288-307
Tool Papers
Last update Tue May 22 23:22:46 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
