Parallel controller synthesis from a Petri net specification
EURO-DAC '94 Proceedings of the conference on European design automation
Synthesis of VHDL concurrent processes
EURO-DAC '94 Proceedings of the conference on European design automation
State Assignment Algorithms for Parallel Controller Synthesis
ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits
CAV '92 Proceedings of the Fourth International Workshop on Computer Aided Verification
Occurrence nets then and now: the path to structured occurrence nets
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
| Hi-index | 0.00 |
A CAD system for automatic behavioral synthesis of synchronous parallel controllers from their Petri net specifications is presented. The system operates on an unfolded Petri net's model of a controller, which is called an occurrence net. Having the net unfolded, a set of sequential components of the Petri net is identified, and a state assignment is performed with which the controller can be synthesized. The experimental results show that the method presented in this paper is significantly faster then previous methods.