In: Proc. 1998 Int. Conf. on Application of Concurrency to System Design (CSD'98), 23-26 March 1998, Fukushima, Japan, pages 132-142. 1998.
Abstract: This paper presents a method based on the use of Zero-suppressed BDDs (0-Sup-BDD) applied to symbolic state space exploration of parallel controllers. Unlike traditional methods, the new approach is based on the implicit manipulation of sets of states instead of the manipulation of their characteristic functions. A formal specification of the parallel controller is given in a form of an interpreted petri net, Experimental results demonstrate that the proposed approach can successfully compete against the state of the art methods of state space exploration.
Keywords: interpreted Petri nets, parallel controllers, symbolic state exploration.