Partial Order Reduction in Symbolic State Space Traversal Using ZBDDs

スポンサーリンク

概要

• 論文の詳細を見る

• 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.

• 社団法人電子情報通信学会の論文
• 1999-03-25

著者

• Yoneda Tomohiro

  Department Of Computer Science Tokyo Institute Of Technology

• TOMISAKA Minoru

  Department of Computer Science, Tokyo Institute of Technology

• Tomisaka Minoru

  Department Of Computer Science Tokyo Institute Of Technology:(present)hitachi

関連論文

• Verification of Scalable-Delay-Insensitive Asynchronous Circuits
• Partial Order Reduction in Symbolic State Space Traversal Using ZBDDs

スポンサーリンク