Petri Nets B

21 papers

YearTitle / Authors
2011A Petri Net Interpretation of Open Reconfigurable Systems.
Frédéric Peschanski, Hanna Klaudel, Raymond Devillers
2011A Tool for Automated Test Code Generation from High-Level Petri Nets.
Dianxiang Xu
2011Access/CPN 2.0: A High-Level Interface to Coloured Petri Net Models.
Michael Westergaard
2011An Algorithm for Direct Construction of Complete Merged Processes.
Victor Khomenko, Andrey Mokhov
2011Applications and Theory of Petri Nets - 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings
Lars Michael Kristensen, Laure Petrucci
2011Branching Processes of General Petri Nets.
Jean-Michel Couvreur, Denis Poitrenaud, Pascal Weil
2011Crocodile: A Symbolic/Symbolic Tool for the Analysis of Symmetric Nets with Bag.
Maximilien Colange, Souheib Baarir, Fabrice Kordon, Yann Thierry-Mieg
2011Finding a Witness Path for Non-liveness in Free-Choice Nets.
Harro Wimmel, Karsten Wolf
2011Forward Analysis and Model Checking for Trace Bounded WSTS.
Pierre Chambart, Alain Finkel, Sylvain Schmitz
2011How Might Petri Nets Enhance Your Systems Biology Toolkit.
Monika Heiner, David R. Gilbert
2011How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings.
G. Michele Pinna
2011Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm with Pruning.
Pierre-Alain Reynier, Frédéric Servais
2011Modeling and Verification of a Protocol for Operational Support Using Coloured Petri Nets.
Michael Westergaard, Fabrizio Maria Maggi
2011Occurrence Nets Then and Now: The Path to Structured Occurrence Nets.
Brian Randell
2011On Parametric Steady State Analysis of a Generalized Stochastic Petri Net with a Fork-Join Subnet.
Jonathan Billington, Guy Edward Gallasch
2011On the Origin of Events: Branching Cells as Stubborn Sets.
Henri Hansen, Xu Wang
2011Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved!
Kees M. van Hee, Natalia Sidorova, Jan Martijn E. M. van der Werf
2011State Estimation and Fault Detection Using Petri Nets.
Alessandro Giua
2011Synthesis and Analysis of Product-Form Petri Nets.
Serge Haddad, Jean Mairesse, Hoang-Thach Nguyen
2011The Mutex Paradigm of Concurrency.
Jetty Kleijn, Maciej Koutny
2011The ePNK: An Extensible Petri Net Tool for PNML.
Ekkart Kindler