Moalla, M.

• Hammami, S.; Moalla, M.; Chaillet-Subias, A.:
  The contribution of multi-agent systems to monitoring and diagnosis FMS. 1998.

• Ben Ahmed, S.; Moalla, M.; Estaban, P.; Courvoisier, M.:
  A modular approach to the specification and validation of the production flexible systems command. 1993.

• Moalla, M.; Ben Ahmed, S.:
  Petri Nets and their Extensions for the Modeling and Studying of Production Systems. 1988.

• Moalla, M.:
  Reseaux de Petri Interpretes et GRAFCET. 1985.

• Moalla, M.; Sifakis, J.; Silva Suarez, M.:
  A la Recherche d'une Methodologie de Conception sur des Automatismes Logiques Basee sur l'Utilisation des Reseaux de Petri. 1978.

• Moalla, M.; Pulou, J.; Sifakis, J.:
  Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems. 1978.

• Moalla, M.; Pulou, J.; Sifakis, J.:
  Reseaux de Petri Synchronises. 1977.

• Moalla, M.:
  L'Approche Fonctionelle dans la Verification des Systemes Informatique: Proposition d'un Ensemble de Methodologies. 1976.

• Moalla, M.; Saucier, G.; Sifakis, J.; Zachariades, M.:
  A Design Tool for the Multilevel Description and Simulation of Systems of Interconnected Modules. 1976.

Back to the Petri Nets Bibliography