Application of modified Petri Nets algorithm in digital IC design for combinational digital circuits simulation | IEEE Conference Publication | IEEE Xplore