Describir: Transformácia časového správania logického obvodu do Petriho sieti