For the most recent entries see the Petri Nets Newsletter.

Construction efficace du graphe de couverture minimal: application à l' analyse de protocole.

Finkel, A.; Johnen, C.

In: 91: Univ. de Paris-Sud, L.R.I. Rapport de Recherce no. 644, 02. 1991.

Abstract: Nous proposons dans cet article d' améliorer en temps et espace la construction du graphe de couverture minimal d' un réseau de Petri. L'algorithme qui le calcule ne précise pas de quelle manière les transitions franchissables sont choisies. Ainsi plusieurs constructions intermédiaires sont possibles dont certaines qui calculent des sous arbres qui seront plus tard détruits. L'algorithme proposé ici n'est pas optimal mais est d'une complexité raisonnable; on donne une idée de l'algorithme optimal en montrant que sa complexité ne justifie pas de l'utiliser. Nous appliquons cet algorithme à l'analyse d'un réseau de Petri modélisant le protocole PNCSA.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography