In: IEICE Trans. on Information and Systems, Vol. E82-D, No. 3, pages 704-711. 1999.
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 an ZBDDs. We also show experimental results of several examples.
Keywords: Petri nets, partial order reduction, reachability, symbolic analysis.