Analysis of multi-process VHDL specifications with a Petri net model | IEEE Conference Publication | IEEE Xplore