Présentation d'une base de connaissances adaptée à la modélisation par réseaux de Petri structurés du contrôle des processus de production discrétisés — Ahmed Karfia