default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID32nd Petri Nets 2011: Newcastle, UK
- Lars Michael Kristensen, Laure Petrucci:
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
- Brian Randell:
Occurrence Nets Then and Now: The Path to Structured Occurrence Nets. 1-16 - Monika Heiner
, David R. Gilbert:
How Might Petri Nets Enhance Your Systems Biology Toolkit. 17-37 - Alessandro Giua:
State Estimation and Fault Detection Using Petri Nets. 38-48
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
- Dianxiang Xu:
A Tool for Automated Test Code Generation from High-Level Petri Nets. 308-317 - Ekkart Kindler:
The ePNK: An Extensible Petri Net Tool for PNML. 318-327 - Michael Westergaard:
Access/CPN 2.0: A High-Level Interface to Coloured Petri Net Models. 328-337 - Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg:
Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag. 338-347
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
