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
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.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Copier
Minoru TOMISAKA, Tomohiro YONEDA, "Partial Order Reduction in Symbolic State Space Traversal Using ZBDDs" in IEICE TRANSACTIONS on Information,
vol. E82-D, no. 3, pp. 704-711, March 1999, doi: .
Abstract: In order to reduce state explosion problem, techniques such as symbolic state space traversal and partial order reduction have been proposed. Combining these two techniques, however, seems difficult, and only a few research projects related to this topic have been reported. In this paper, we propose handling single place zero reachability problem of Petri nets by using both partial order reduction and symbolic state space traversal based on ZBDDs. We also show experimental results of several examples.
URL: https://global.ieice.org/en_transactions/information/10.1587/e82-d_3_704/_p
Copier
@ARTICLE{e82-d_3_704,
author={Minoru TOMISAKA, Tomohiro YONEDA, },
journal={IEICE TRANSACTIONS on Information},
title={Partial Order Reduction in Symbolic State Space Traversal Using ZBDDs},
year={1999},
volume={E82-D},
number={3},
pages={704-711},
abstract={In order to reduce state explosion problem, techniques such as symbolic state space traversal and partial order reduction have been proposed. Combining these two techniques, however, seems difficult, and only a few research projects related to this topic have been reported. In this paper, we propose handling single place zero reachability problem of Petri nets by using both partial order reduction and symbolic state space traversal based on ZBDDs. We also show experimental results of several examples.},
keywords={},
doi={},
ISSN={},
month={March},}
Copier
TY - JOUR
TI - Partial Order Reduction in Symbolic State Space Traversal Using ZBDDs
T2 - IEICE TRANSACTIONS on Information
SP - 704
EP - 711
AU - Minoru TOMISAKA
AU - Tomohiro YONEDA
PY - 1999
DO -
JO - IEICE TRANSACTIONS on Information
SN -
VL - E82-D
IS - 3
JA - IEICE TRANSACTIONS on Information
Y1 - March 1999
AB - In order to reduce state explosion problem, techniques such as symbolic state space traversal and partial order reduction have been proposed. Combining these two techniques, however, seems difficult, and only a few research projects related to this topic have been reported. In this paper, we propose handling single place zero reachability problem of Petri nets by using both partial order reduction and symbolic state space traversal based on ZBDDs. We also show experimental results of several examples.
ER -