Las redes de Petri son ideales para describir y estudiar sistemas que procesan información y con características concurrentes, asíncronas, distribuidas, paralelas, no determinísticas y/o estocásticas. . Sin embargo, la teoría clásica de estas redes se enfrenta al desafío de adecuarse a las nuevas necesidades de los sistemas informáticos que los ingenieros diseñan en la actualidad. Un diagrama de actividades representa una secuencia de actividades. Podría aplicarse a cualquier propósito, pero se considera especialmente útil para visualizar los flujos de trabajo y los procesos del negocio, o casos de uso. El presente trabajo se ha desarrollado con el objetivo de diseñar un método para el modelado y prueba de diagramas de actividades mediante redes de Petri. El método propuesto brinda una serie de pasos necesarios para modelar un diagrama de actividades con redes de Petri y a partir de dicha red obtener una representación matemática de la misma. Esta representación matemática se utiliza para con ella realizar una serie de operaciones basadas en el marcaje de la red que permiten realizar pruebas al diagrama. Este método es capaz de identificar errores comunes que se cometen en el modelado de los diagramas de actividades, lo cual se demostró a través del método de experimentación.
