AN EFFICIENT LOGIC SIMULATOR FOR VLSI CIRCUITS BASED ON PETRI NETS