Vérification de la consistance et de la conservation de Petri
Abstract
Les réseaux de Petri sont un outil performant pour concevoir, modéliser, analyser et évaluer les systèmes a événements discrets. Dans ce rapport, nous étudions des propriétés structurelles importantes des réseaux de Petri utilises en gestion de production : la consistance et la conservation. Nous mettons en évidence une condition nécessaire et suffisante simple pour vérifier la consistance et la conservation. Cette condition permet de diminuer la dimension du problème. Nous dégageons des conditions suffisantes dans des cas particuliers. Nous proposons en outre un algorithme pour vérifier ces deux propriétés dans le cas général.