The use of Petri nets as the basis of algorithm for gate level digital circuits simulation | IEEE Conference Publication | IEEE Xplore