verification-of-systems-and-circuits-using-lotos-petri-nets