For the most recent entries see the
Petri Nets Newsletter.
Pradat-Peyre, J.-F.
-
Evangelista, Sami;
Pradat-Peyre, Jean-François:
On the Computation of Stubborn Sets of Colored Petri Nets.
2006.
-
Evangelista, S.;
Haddad, S.;
Pradat-Peyre, J.-F.:
Syntactical Colored Petri Nets Reductions.
2005.
-
Evangelista, S.;
Haddad, S.;
Pradat-Peyre, J.-F.:
Syntactical Colored Petri Nets Reductions.
2005.
-
Evangelista, Sami;
Pradat-Peyre, Jean Francois:
An Efficient Algorithm for the Enabling Test of Colored Petri Nets.
2004.
-
Poitrenaud, Denis;
Pradat-Peyre, Jean-Francois:
Pre- and Post-agglomerations for LTL Model Checking.
2000.
-
Bruneton, E.;
Pradat-Peyre, J.-F.:
Automatic verification of concurrent Ada program.
1999.
-
Barkaoui, K.;
Pradat-Peyre, J.-F.:
Verification in concurrent programming with Petri nets structural techniques.
1998.
-
Barkaoui, K.;
Kaiser, C.;
Pradat-Peyre, J.F.:
Petri nets based proof of ADA 95 solution for preference control.
1997.
-
Barkaoui, Kamel;
Pradat-Peyre, Jean-François:
On Liveness and Controlled Siphons in Petri Nets.
1996.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography