Vérification de la consistance et de la conservation de Petri - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1993

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-2070.pdf (575.6 Ko) Télécharger le fichier

Dates and versions

inria-00074602 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00074602 , version 1

Cite

Chengbin Chu, Feng Chu, Jean-Marie Proth. Vérification de la consistance et de la conservation de Petri. [Rapport de recherche] RR-2070, INRIA. 1993, pp.15. ⟨inria-00074602⟩
66 View
54 Download

Share

Gmail Facebook Twitter LinkedIn More