HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 3:52:43 PM
Last modification on : Friday, February 4, 2022 - 3:22:32 AM
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

56

Files downloads

51