CAN/CSA-ISO/IEC 15909-1-2020 Ingeniería de sistemas y software - Redes de Petri de alto nivel - Parte 1: Conceptos, definiciones y notación gráfica (Adoptada ISO/IEC 15909-1:2019, segunda edición, 2019-08)
Prólogo:
El desarrollo de estándares en el sector de Tecnologías de la Información se armoniza con el desarrollo de estándares internacionales. A través del Comité Técnico CSA de Tecnologías de la Información (TCIT), los canadienses sirven como el Comité Espejo SCC (SMC) en ISO/IEC Joint Technical Committee 1 sobre Tecnologías de la Información (ISO/IEC JTC1) para el Consejo Canadiense de Estándares (SCC), el cuerpo miembro de ISO para Canadá y patrocinador del Comité Nacional Canadiense de la IEC. Además, como miembro de la Unión Internacional de Telecomunicaciones (ITU), Canadá participa en el Comité Consultivo Internacional de Telégrafos y Telefonía (ITU-T).
Este estándar reemplaza CAN/CSA-ISO/IEC 15909-1:05 (adoptado ISO/IEC 15909-1:2004). En el momento de su publicación, ISO/IEC 15909-1:2019 está disponible en inglés solo desde ISO e IEC. El Grupo CSA publicará la versión francesa cuando esté disponible desde ISO e IEC.
Este estándar ha sido formalmente aprobado sin modificaciones por el Comité Técnico y se ha desarrollado de conformidad con los requisitos del Consejo Canadiense de Estándares para las Normas Nacionales de Canadá. Ha sido publicado como una Norma Nacional de Canadá por el Grupo CSA.
Ámbito:
Este documento define un lenguaje o técnica de modelización mediante redes Petri, llamada redes Petri de alto nivel, incluyendo su sintaxis y semántica. Proporciona una definición de referencia que se puede usar tanto dentro como entre organizaciones para garantizar una comprensión común de la técnica y de las especificaciones escritas utilizando la técnica. Este documento también facilita el desarrollo e interoperabilidad de herramientas informáticas de soporte para redes Petri.
Este documento es aplicable a una amplia variedad de sistemas concurrentes de eventos discretos, en particular sistemas distribuidos.
CAN/CSA-ISO/IEC 15909-1-2020 Historia
2020CAN/CSA-ISO/IEC 15909-1-2020 Ingeniería de sistemas y software - Redes de Petri de alto nivel - Parte 1: Conceptos, definiciones y notación gráfica (Adoptada ISO/IEC 15909-1:2019, segunda edición, 2019-08)
2005CAN/CSA-ISO/IEC 15909-1:2005 Ingeniería de software y sistemas - Redes de Petri de alto nivel - Parte 1: Conceptos, definiciones y notación gráfica