Modélisation symbolique des réseaux de Petri temporels basée sur les Diagrammes des Décisions Binaires Ordonnés Temporels - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Modélisation symbolique des réseaux de Petri temporels basée sur les Diagrammes des Décisions Binaires Ordonnés Temporels

Mohamed Ali Kammoun
  • Fonction : Auteur
Université de Lorraine
Alexandre Sava
Ecole Nationale d'Ingénieurs de Metz
Nidhal Rezg
  • Fonction : Auteur
  • PersonId : 9267
  • IdHAL : rezg
  • IdRef : 075082160
Optimal and secure management of manufacturing systems

Domaines

Modélisation et simulation Performance et fiabilité [cs.PF] Recherche opérationnelle [math.OC]

Ist Inria Nancy Grand Est  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00601750

Soumis le : lundi 20 juin 2011-13:51:53

Dernière modification le : mercredi 15 mars 2023-08:54:10

Fichier non déposé

Dates et versions

inria-00601750 , version 1 (20-06-2011)

Identifiants

  • HAL Id : inria-00601750 , version 1

Citer

Mohamed Ali Kammoun, Alexandre Sava, Nidhal Rezg. Modélisation symbolique des réseaux de Petri temporels basée sur les Diagrammes des Décisions Binaires Ordonnés Temporels. 4èmes Journées Doctorales Journées Nationales MACS JDMACS 2011, Jun 2011, Marseille, France. ⟨inria-00601750⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA UNIV-LORRAINE INRIA2 TDS-MACS
109 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More