¿Habias escuchado acerca de las Redes de Petri?

Si no habias escuchado hablar acerca de Redes de Petri y te dedicas al desarrollo e implementación de sistemas, es probable que estes dejando a un lado una herramienta muy valiosa y facil de usar para simular el comportamiento de los sistemas. Las he estado revisando y me he quedado fascinado, puesto que yo estoy programando por procesos usando herramientas BPM y me parece que mediante Redes de Petri, puedo analizar muy bien el modelado del sistema. Es una alternativa que quizas al algunos les pueda servir.