Esse vídeo mostra o calculo do grafo de alcançabilidade de uma rede de petri na forma analítica, que foi pedida na disciplina de sistemas embarcados do curso de Engenharia de telecomunicações do IFCE.
Para baixar o slide da apresentação clique no link abaixo:
http://www.4shared.com/office/qflUqZI...