A Petri Net Approach for the Analysis of VHDL Descriptions.

Serafín Olcoz José Manuel Colom A Petri Net Approach for the Analysis of VHDL Descriptions. 15-26 1993 conf/charme/1993 CHARME db/conf/charme/charme1993.html#OlcozC93