O padrão IEEE/ANSI para símbolos lógicos utiliza símbolos
circulares para representar cada dispositivo lógico.
Uma Rede de Petri é repetitiva se existir uma sequência
de disparos associada a uma dada marcação, na qual todas
as ações são executadas um número infinito de vezes.