Transformácia časového správania logického obvodu do Petriho sieti - Kaša, Martin, 1986- (STU v Bratislave FEI, 2011)