Simulation of Processes in Cad Based on Modified Petri Nets | IEEE Conference Publication | IEEE Xplore