Event-driven simulation of digital circuits using modified Petri nets algorithm | IEEE Conference Publication | IEEE Xplore