Skip to Main content Skip to Navigation
Conference papers

Processus de branchement des réseaux de Petri à reset arcs

Résumé : Les réseaux de Petri sont un outil très répandu de modélisation et d'étude des systèmes concur-rents autour desquels s'est constituée une large communauté scientifique. Il existe des extensions qui ont pour but d'étendre le formalisme de référence par les réseaux de Petri pour proposer soit des mo-dèles plus compacts en termes de description, soit plus puissants en termes de pouvoir d'expression. Nous pouvons citer entre autre l'ajout des reset arcs qui ajoutent un pouvoir expressif utile en ce sens qu'ils permettent de remettre à zéro (notion de réinitialisation) le contenu d'une place sans impacter sur les règles de sensibilisation des transitions dans le réseau. Nous proposons pour les réseaux de Petri à reset arcs ayant un réseau normal sous-jacent borné, une approche pour construire le dépliage (méthode d'ordre partiel pour contourner le problème d'explosion combinatoire lié à la construction du graphe d'états) et d'un préfixe complet et fini du dépliage. Nous présenterons aussi un algorithme pour l'identification des processus de branchement issus d'un tel dépliage.
Document type :
Conference papers
Complete list of metadata

Cited literature [13 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01169369
Contributor : David Delfieu <>
Submitted on : Monday, June 29, 2015 - 11:51:00 AM
Last modification on : Monday, September 21, 2020 - 6:46:20 PM
Long-term archiving on: : Tuesday, April 25, 2017 - 7:32:08 PM

File

AFSEC_2015.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01169369, version 1

Collections

Citation

Maurice Comlan, David Delfieu, Médésu Sogbohossou. Processus de branchement des réseaux de Petri à reset arcs. GPL GDR, CNRS, Jun 2015, Bordeaux, France. ⟨hal-01169369⟩

Share

Metrics

Record views

192

Files downloads

761