Found 1 document(s)
Page 1 of 1
-
Nous présentons dans ce travail une extension de la transformation des diagrammes états-transitions vers les réseaux de Petri colorés ((André et al., 2012)) au cas concurrent. Cette extension est complétée par une implém...