1-Introdução

      Monte uma rede de Petri que representa o comportamento de ligar e desligar de um roteador. Os lugares abaixo representam estados do roteador que podem ser ligado ou desligado. Inicialmente, o roteador está ligado, de modo que existe um token no lugar RoteadorLigado indicando tal condição inicial. As transições representam as ações de desligar ou ligar o roteador. Monte o modelo de modo que, após o roteador ser desligado, ele possa ser ligado novamente (e vice-versa), formando uma rede cíclica com arcos apontando para um único sentido.