Enviar por SMS: Transformácia časového správania logického obvodu do Petriho sieti