Verification of Systems and Circuits Using Lotos, PETRI NETs, and CCsMichael Yoeli, Rakefet Kol₹7,304