Los diagramas de actividad UML pueden expresarse como redes de Petri (por ejemplo, see this paper). Lamentablemente, no conozco ninguna herramienta orientada a la industria para la simulación de Redes de Petri o Diagrama de actividades (pero hay muchos proyectos académicos que puede encontrar fácilmente).
¿Estás seguro de que quieres simular tu modelo (por simulación quiero decir que realmente quieres sentarte y ver cómo se ejecuta tu red Perti)? Usualmente este tipo de análisis es aplicable para algoritmos pequeños y simples. En la situación del mundo real, es probable que desee hacer model checking de su algoritmo en lugar de simulación. Le recomendaría que compruebe SPIN (utilizado por muchas empresas, por ejemplo, Siemens). También tengo una experiencia positiva con Alloy y Prism. Pero si se enfoca en verificar algoritmos paralelos, le sugiero que considere primero SPIN.
Editar: he comprobado algunas herramientas para la simulación y me puede asesorar mirando
1) http://sourceforge.net/projects/visual-petri/
2) http://www.renew.de/
3) http://www.winpesim.de/index.html
Muchas gracias por su respuesta. De hecho, quiero hacer simulación solo con propósitos de presentación y solo para el modelo simplificado de ciertas situaciones: digamos que 3-4 hilos intentan hacer lo mismo cuando la configuración de datos es D1 y los parámetros son P1. –
De nada. He agregado algunos enlaces a mi respuesta. –