Ce travail est divisé en plusieurs chapitres: Le premier introduit une formalisation un peut abstraite de la notion de réseau de PETRI, le deuxième est consacré à la représentation matricielle du réseau de PETRI. Les ...