Skip to Main content Skip to Navigation
Reports

Vérification de la consistance et de la conservation de Petri

Résumé : 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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00074602
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 3:52:43 PM
Last modification on : Thursday, February 11, 2021 - 2:48:12 PM
Long-term archiving on: : Tuesday, April 12, 2011 - 5:46:34 PM

Identifiers

  • HAL Id : inria-00074602, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

173

Files downloads

104