La fonctionnalité de recherche est en construction.
La fonctionnalité de recherche est en construction.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Partial Order Reduction in Symbolic State Space Traversal Using ZBDDs Réduction d'ordre partiel dans la traversée de l'espace d'état symbolique à l'aide de ZBDD

Minoru TOMISAKA, Tomohiro YONEDA

  • Vues en texte intégral

    0

  • Citer

Résumé:

Afin de réduire le problème d'explosion d'état, des techniques telles que la traversée de l'espace d'état symbolique et la réduction d'ordre partiel ont été proposées. La combinaison de ces deux techniques semble cependant difficile, et seuls quelques projets de recherche liés à ce sujet ont été rapportés. Dans cet article, nous proposons de gérer le problème d'accessibilité zéro d'un seul endroit des réseaux de Petri en utilisant à la fois la réduction d'ordre partielle et la traversée de l'espace d'état symbolique basée sur les ZBDD. Nous montrons également les résultats expérimentaux de plusieurs exemples.

Publication
IEICE TRANSACTIONS on Information Vol.E82-D No.3 pp.704-711
Date de publication
1999/03/25
Publicisé
ISSN en ligne
DOI
Type de manuscrit
LETTER
Catégories
Informatique tolérante aux pannes

Auteurs

Mots-clés

Table des matières