 | 2009 |
|---|
| 6 |       | Gianfranco Ciardo,
Galen Mecham,
Emmanuel Paviot-Adet,
Min Wan:
P-Semiflow Computation with Decision Diagrams.
Petri Nets 2009: 143-162 |
| 2006 |
|---|
| 5 | | Alexandre Hamez,
Lom Hillah,
Fabrice Kordon,
Alban Linard,
Emmanuel Paviot-Adet,
Xavier Renault,
Yann Thierry-Mieg:
New features in CPN-AMI 3: focusing on the analysis of complex distributed systems.
ACSD 2006: 273-275 |
| 4 | | Fabrice Kordon,
Alban Linard,
Emmanuel Paviot-Adet:
Optimized Colored Nets Unfolding.
FORTE 2006: 339-355 |
| 2002 |
|---|
| 3 | | Jean-Michel Couvreur,
Emmanuelle Encrenaz,
Emmanuel Paviot-Adet,
Denis Poitrenaud,
Pierre-André Wacrenier:
Data Decision Diagrams for Petri Net Analysis.
ICATPN 2002: 101-120 |
| 2001 |
|---|
| 2 |  | Adriaan de Groot,
Jozef Hooman,
Fabrice Kordon,
Emmanuel Paviot-Adet,
Isabelle Vernier-Mounier,
Michel Lemoine,
Gervais Gaudiére,
Victor L. Winter,
Deepak Kapur:
A Survey: Applying Formal Methods to a Software Intensive System.
HASE 2001: 55-64 |
| 1994 |
|---|
| 1 | | Jean-Michel Couvreur,
Emmanuel Paviot-Adet:
New Structural Invariants for Petri Nets Analysis.
Application and Theory of Petri Nets 1994: 199-218 |
