Esta disciplina tem por objetivo fornecer conselhos teóricos da rede de petri, e sua aplicação na modelagem de sistemas de eventos discretos.