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 Access content directly
Conference Papers Year : 2011

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

No file

Dates and versions

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

Identifiers

  • HAL Id : inria-00601750 , version 1

Cite

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⟩
109 View
0 Download

Share

Gmail Facebook X LinkedIn More