Ladet, P.

• Limam, S.; Ladet, P.:
  Towards a communicating petri net tool for modeling production systems. 1999.

• Hilal, R.; Ladet, P.:
  A reactive real-time systems modeling and programming aid tool based on the synchronous Petri nets formalism. 1993.

• Valentin, C.; Ladet, P.:
  Flow modeling in a class of Hybrid (Continuous - Discrete) Systems. 1993.

• Valentin, C.; Ladet, P.; Ruiz, J.:
  A Generic Petri nets based Model for Paper mills finishing processes. 1992.

• Alla, H.; Ladet, P.:
  Petri Nets: On the Up and Up with Colour. 1990.

• Besombes, B.; Ladet, P.:
  SAGASSE - An Expert System Based Simulator For Flexible Manufacturing Systems. 1990.

• Jaquemin, T.; Descotes-Genon, B.; Ladet, P.:
  Expert Systems for Grafcet Creation. 1988.

• Mercier des Rochettes, R.; Descotes-Genon, B.; Ladet, P.:
  Modelling and F.M.S. Control Implementation. 1988.

• Mercier des Rochettes, R.; Descotes-Genon, B.; Ladet, P.:
  On the Control Specification of a Flexible Assembly System: Coloured Petri Nets Application. 1988.

• Agaoua, S.; Ladet, P.:
  A Method for the Analysis of Petri Nets - Analysis of the Deadlock Freeness of Petri Nets via Resolution of a Linear System. 1987.

• Alla, H.; Ladet, P.; Martinez, J.; Silva Suarez, M.:
  Modelling and Validation of Complex Systems by Coloured Petri Nets; Application to a Flexible Manufacturing System. 1985.

• Descotes-Genon, B.; Ladet, P.:
  Graphic Tools for Modelling and Simulation of Sequential Control Applications. 1985.

• Silva Suarez, M.; Martinez, J.; Ladet, P.; Alla, H.:
  Generalized Inverses and the Calculation of Symbolic Invariants for Colored Petri Nets. 1985.

Back to the Petri Nets Bibliography