3 Le formalisme des réseaux de Petri Colorés (RDPC). ...... est appelée fonction
identité, le lecteur intéressé peut se référer au livre de David et Alla ...... [David
and Alla 1989] R. David and H. Alla, Du grafcet aux réseaux de Petri, Edition. 
