Las redes de Petri son ampliamente utilizadas para modelar sistemas de software concurrentes. Sin embargo, la mayoría de las herramientas no son adecuadas para analizar errores de flujo de datos en sistemas concurrentes debido a la falta de formalización de la información de datos y métodos eficientes para analizar flujos de datos.