For Full-Text PDF, please login, if you are a member of IEICE,|
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
Partial Order Reduction in Symbolic State Space Traversal Using ZBDDs
Minoru TOMISAKA Tomohiro YONEDA
IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/03/25
Print ISSN: 0916-8532
Type of Manuscript: LETTER
Category: Fault Tolerant Computing
symbolic analysis, partial order reduction, Petri net, single place zero reachability problem,
Full Text: PDF>>
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.