Jean-Franois Pradat-Peyre
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1997–2018
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CoDIT | A generic generalized stochastic Petri nets model for the performance analysis of FMS considering the resources failures. | Sajeh Zairi, Belhassen Zouari, Hamdi Rahal, Jean-Franois Pradat-Peyre |
| 2008 | FORTE | Adapting Petri Nets Reductions to Promela Specifications. | Christophe Pajault, Jean-Franois Pradat-Peyre, Pierre Rousseau |
| 2007 | FORTE | A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets. | Sami Evangelista, Christophe Pajault, Jean-Franois Pradat-Peyre |
| 2006 | FMICS | Distributed Colored Petri Net Model-Checking with Cyclades. | Christophe Pajault, Jean-Franois Pradat-Peyre |
| 2005 | ATVA | Syntactical Colored Petri Nets Reductions. | Sami Evangelista, Serge Haddad, Jean-Franois Pradat-Peyre |
| 1997 | APSEC | Petri nets based proofs of Ada 95 solution for preference control. | Kamel Barkaoui, Claude Kaiser, Jean-Franois Pradat-Peyre |