O código acima utiliza as classes declaradas no código apres...
Sem considerar o comando da linha 6, os comandos das linhas 5 a 20 do código acima modelam adequadamente a rede apresentada no texto I, no que se refere às suas relações entre transições, lugares e arcos