Sogbohossou, Médésu and Vianou, Antoine - Un dépliage par processus pour calculer le préfixe complet des réseaux de Petri

arima:3177 - REVUE AFRICAINE DE LA RECHERCHE EN INFORMATIQUE ET MATHÉMATIQUES APPLIQUÉES, 24 juillet 2017, Volume 27 - 2017 - Numéro spécial CARI 2016
Un dépliage par processus pour calculer le préfixe complet des réseaux de Petri

Auteurs : Sogbohossou, Médésu and Vianou, Antoine

La 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.


Source : oai:HAL:hal-01482853v1
Volume : Volume 27 - 2017 - Numéro spécial CARI 2016
Publié le : 24 juillet 2017
Déposé le : 8 mars 2017
Mots-clés : bounded Petri nets, complete prefix of unfolding, adequate order, alternative processes,réseaux de Petri bornés, préfixe complet de dépliage, ordre adéquat, processus alternatifs,[INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation,[INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]


Exporter

Partager

Statistiques de consultation

Cette page a été consultée 54 fois.
Le PDF de cet article a été téléchargé 36 fois.