Fabien Bonnefoi

Safespot Specification Method: An Example With Infrastructure Based Applications

Fahim Belarbi, Fabien Bonnefoi, 2008 .

Design, modeling and analysis of ITS using UML and Petri Nets

Fabrice Kordon, Lom-Messan Hillah, Xavier Renault, 2007, 2007 IEEE Intelligent Transportation Systems Conference.

Design, modeling andanalysis ofITSusing UML andPetri Nets

Fabien Bonnefoi, KordonandXavier Renault, 2007 .

A Discretization Method from Coloured to Symmetric Nets: Application to an Industrial Example

Fabrice Kordon, Christine Choppy, Fabien Bonnefoi, 2008, Trans. Petri Nets Other Model. Concurr..

An Approach to Model Variations of a Scenario: Application to Intelligent Transport Systems

Fabrice Kordon, Lom Messan Hillah, Guy Fremont, 2006 .

Vérification formelle des spécifications de systèmes complexes par réseaux de Petri : application aux systèmes de transport intelligents

Fabien Bonnefoi, 2010 .