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

Type de document :
Communication dans un congrès
4èmes Journées Doctorales Journées Nationales MACS JDMACS 2011, Jun 2011, Marseille, France. 2011
Liste complète des métadonnées

https://hal.inria.fr/inria-00601750
Contributeur : Ist Inria Nancy Grand Est <>
Soumis le : lundi 20 juin 2011 - 13:51:53
Dernière modification le : jeudi 19 avril 2018 - 14:07:23

Identifiants

  • HAL Id : inria-00601750, version 1

Collections

Citation

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. 2011. 〈inria-00601750〉

Partager

Métriques

Consultations de la notice

345