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