For the most recent entries see the
Petri Nets Newsletter.
Poitrenaud, D.
-
Gilliers, Frederic;
Breant, Francois;
Poitrenaud, Denis;
Kordon, Fabrice:
Model checking of high-level object oriented specifications: the LfP experience.
2004.
-
Thierry-Mieg, Yann;
Ilié, Jean-Michel;
Poitrenaud, Denis:
A Symbolic Symbolic State Space Representation.
2004.
-
Dutheillet, C.;
Vernier-Mounier, I.;
Ilié, J.-M.;
Poitrenaud, D.:
Verification: State-Space-Based Methods and Model Checking.
2002.
-
Couvreur, Jean-Michel;
Encrenaz, Emmanuelle;
Paviot-Adet, Emmanuel;
Poitrenaud, Denis;
Wacrenier, Pierre-André:
Data Decision Diagrams for Petri Net Analysis.
2002.
-
Couvreur, Jean-Michel;
Grivet, Sébastien;
Poitrenaud, Denis:
Unfolding of Products of Symmetrical Petri Nets.
2001.
-
Couvreur, Jean-Michel;
Grivet, Sébastien;
Poitrenaud, Denis:
Designing a LTL Model-Checker Based on Unfolding Graphs.
2000.
-
Poitrenaud, Denis;
Pradat-Peyre, Jean-Francois:
Pre- and Post-agglomerations for LTL Model Checking.
2000.
-
Couvreur, Jean-Michel;
Poitrenaud, Denis:
Detection of Illegal Behaviors Based on Unfoldings.
1999.
-
Haddad, Serge;
Poitrenaud, Denis:
Theoretical Aspects of Recursive Petri Nets.
1999.
-
Couvreur, Jean-Michel;
Poitrenaud, Denis:
Model Checking based on Occurrence Net Graph.
1996.
-
Brgan, R.;
Poitrenaud, D.:
An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri Nets.
1995.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography