Recomendação para o software de modelagem de redes de Petri?

Question

Estou procurando um simulador de redes de Petri com um editor gráfico para o Ubuntu.

Alguém sabe se existe essa ferramenta?

    

Answer 1

Experimente: link

    

Answer 2

Tapaal

Timed-Arc Petri Net (TAPN) é uma extensão temporal do modelo clássico da rede de Petri < .. > A ferramenta TAPAAL oferece um editor gráfico para desenhar modelos TAPN, simulador para experimentar com as redes projetadas e uma verificação ambiente que responde automaticamente a consultas lógicas formuladas subconjunto da lógica CTL (essencialmente fórmulas EF, EG, AF, AG sem aninhamento). Ele também permite que o usuário verifique se uma determinada rede é delimitada por k para um determinado número k. O algoritmo de verificação traduz o TAPAAL consulta as UPPAAL e confia na verificação UPPAAL motor, mas o usuário não precisa sair do TAPAAL GUI durante qualquer fase da verificação do modelo e rastros de erro são exibidos diretamente no TAPAAL.

(TAPAALScreenshot(noUbuntu10.10))

Instalação:

sudoadd-apt-repositoryppa:tapaal-packaging/tapaal

sudoapt-getupdate

sudoapt-getinstalltapaal

edit:OTapaalagorapodeserencontradono link