David, R.

• Alla, H.; David, R.:
  A modeling and analysis tool for discrete event systems -- continuous Petri net. 1998.

• David, René:
  Modeling of Hybrid Systems Using Continuous and Hybrid Petri Nets. 1997.

• David, R.:
  GRAFCET - a powerful tool for specification of logic controllers. 1995.

• David, R.; Alla, H.:
  Petri Nets for Modeling of Dynamic Systems: A Survey. 1994.

• David, René; Alla, Hassane:
  Autonomous and Timed Continuous Petri Nets. 1990.

• Alla, H.; David, R.:
  Modelling of Management/Production by Continuous Petri Net. 1988.

• David, R.; Tellez-Giron, R.; Mitrani, E.:
  Emploi de Cellules Universelles pour la Synthese de Systemes Asynchrones Decrits par Reseaux de Petri. 1980.

• Silva Suarez, M.; David, R.:
  Synthese Programmee des Automatismes Logiques Decrits par Reseaux de Petri: Une Methode de Mise en Oeuvre sur Microcalculateur. 1979.

• David, R.:
  Synthese a l'aide de CUSA d'un Systeme Sequentiel decrit par un GRAFCET. 1978.

• Silva Suarez, M.; David, R.:
  On the Programmation of Asynchronous Sequential Systems by Logic Equations. 1977.

• David, R.:
  Modular Design of Asynchronous Circuits Defined by Graphs. 1977.

• Mitrani, E.; Tellez-Giron, R.; David, R.:
  Emploi des CUSA pour la Synthese Directe de Systemes Asynchrones definis par des Graphes ou des Reseaux de Petri. 1976.

Back to the Petri Nets Bibliography