¿Existe una buena herramienta que pueda modelar un esquema de simultaneidad/bloqueo de aplicaciones de una manera gráfica y que pueda simular algunos de los aspectos? Sé que las redes de Petri se pued
¿Existe algún software para dibujar una red de Petri y generar cualquier código fuente desde allí? El código fuente podría estar en cualquier lenguaje de programación conocido ... Opción menos deseabl