ISO/IEC 15909-1:2004 define un lenguaje de modelado semigráfico para la especificación, diseño y análisis de sistemas de eventos discretos, incluido el software y, en particular, los sistemas distribuidos y paralelos donde la concurrencia es una característica importante. La técnica, Redes de Petri de alto nivel, está definida matemáticamente y, por tanto, puede utilizarse para proporcionar especificaciones y descripciones de aplicaciones inequívocas. La naturaleza gráfica de la técnica permite visualizar la información o el flujo de recursos y el flujo de control, lo que proporciona una poderosa ayuda para comprender el comportamiento del sistema. También es una técnica ejecutable que permite desarrollar prototipos de especificaciones.
DS/ISO/IEC 15909-1/Amd. 1:2010 Historia
2010DS/ISO/IEC 15909-1/Amd. 1:2010 Ingeniería de software y sistemas - Redes de Petri de alto nivel - Parte 1: Conceptos, definiciones y notación gráfica
2008DS/ISO/IEC 15909-1:2008 Ingeniería de software y sistemas - Redes de Petri de alto nivel - Parte 1: Conceptos, definiciones y notación gráfica