Reinaldo

Redes de Petri P/T : propriedades

Nesta aula discutiremos mais aprofundadamente as propriedades das redes P/T iniciada na aula passada com os invariantes e a limitação. Voltaremos ao problema da modelagem e do papel da análise de propriedades para a verificação destes modelos. Para isto discutiremos tanto propriedades comportamentais quanto estruturais.

Entraremos ainda na discussão sobre as aplicações e a demanda de extensões para facilitar a modelagem em diversos domínios, em especial nos sistemas de manufatura (montagem, desmontagem, etc.).