Descrição
Redes de Petri de baixo nível podem ser analisadas para trabalho de modelagem e verificação.
Este pacote é útil para pesquisadores, estudantes e engenheiros que estudam sistemas concorrentes. Ele é uma ferramenta de análise formal, não um editor geral de diagramas.
Resultados de análise de modelos dependem da definição do modelo. Valide pressupostos antes de tirar conclusões de engenharia.