For the most recent entries see the Petri Nets Newsletter.

Efficient approach to symbolic state exploration of complex parallel controllers.

Bilinski, K.; Dagless, E.L.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography