Vernadat, F.

• Berthomieu, Bernard; Lime, Didier; Roux, Olivier H.; Vernadat, Francois:
  Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. 2007.

• Berthomieu, Bernard; Peres, Florent; Vernadat, François:
  Bridging the Gap Between Timed Automata and Bounded Time Petri Nets. 2006.

• Berthomieu, Bernard; Lime, Didier; Roux, Olivier (H.); Vernadat, Francois:
  Problèmes d'accessibilité et Espaces d'états abstraits des réseaux de Petri Temporels à Chronomètres. 2005.

• Berthomieu, Bernard; Vernadat, François:
  State Class Constructions for Branching Analysis of Time Petri Nets. 2003.

• Vernadat, F.; Azéma, P.:
  High Level Transition Systems for Communicating Agents. 2001.

• Berio, G.; di Leva, A.; Giolito, P.; Vernadat, F.:
  Process and data nets: the conceptual model of the M*-OBJECT methodology. 1999.

• El Mhamedi, A.; Vernadat, F.:
  The ACNOS approach for performance evaluation of enterprise processes and activities. 1998.

• Vernadat, François; Michel, François:
  Covering Step Graph Preserving Failure Semantics. 1997.

• Vernadat, François; Azéma, Pierre; Michel, François:
  Covering Step Graph. 1996.

• Di Leva, A.; Giolito, P.; Vernadat, F.:
  M*-Object: an object-oriented database design methodology for CIM information systems. 1993.

• Faure, C.; Juanole, G.; Vernadat, F.:
  LAPD protocol at the ISDN Interface: Formal Modeling with Petri Nets Based Models and Verification by Abstraction (Strings, Observational and Behavioral Equivalences). 1990.

• Vernadat, Francois; Di Leva, Antonio; Giolito, Piercarlo:
  Organization and Information System Design of Manufacturing Environments: the New M* Approach. 1989.

• Di Leva, A.; Vernadat, F.:
  Information Analysis and Modelling of Production Systems. 1987.

Back to the Petri Nets Bibliography