Un dépliage par processus pour calculer le préfixe complet des réseaux de Petri

Simple item page
AuteurVIANOU, COKOU ANTOINE
AuteurSOGBOHOSSOU, MEDESU
Date d'ajout2026-06-02T16:06:57Z
Date de disponibilite2026-06-02T16:06:57Z
Date de publication2017
ResumeLa technique d'ordre partiel du dépliage représente implicitement l'espace d'état d'un réseau de Petri (RdP), en conservant notamment les relations de concurrence entre les événements. Cela permet de contenir le phénomène de l'explosion combinatoire en cas de forte concurrence. Un préfixe complet de dépliage sert à couvrir tout l'espace d'état d'un RdP borné: son calcul suivant l'approche classique se base sur le concept d'ordre adéquat, ne prenant directement en compte que les RdP saufs. Dans cet article, une nouvelle approche indépendante du concept d'ordre adéquat et fidèle à la sémantique d'ordre partiel, consiste à créer les événements du dépliage dans le contexte d'un unique processus à la fois. Les résultats des tests sont concluants pour les RdP saufs et non saufs. Des solutions sont présentées pour améliorer la compacité du préfixe obtenu.
Autre identifiantBECDB-5012
URIhttps://dspace.uac.bj/handle/123456789/4688
Languefr
Fait partie deRevue Africaine de la Recherche en Informatique et Mathématiques Appliquées
Sujetréseaux de Petri bornés
Sujetpréfixe complet de dépliage
Sujetordre adéquat
Sujetprocessus alternatifs
TitreUn dépliage par processus pour calculer le préfixe complet des réseaux de Petri
TypeArticle

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
260ac2f7eee6dcda22683e5d15c45578.pdf
Size:
1.05 MB
Format:
Adobe Portable Document Format
Download

Collections

Articles