ISO/IEC 15909-1:2004
软件和系统工程.高级皮特里网.第1部分:概念、定义和图形注释

System and software engineering - High-level Petri nets - Part 1: Concepts, definitions and graphical notation


标准号
ISO/IEC 15909-1:2004
发布
2004年
发布单位
国际标准化组织
替代标准
ISO/IEC 15909-1:2004/Amd 1:2010
当前最新
ISO/IEC 15909-1:2019
 
 
适用范围
1.1 目的 本国际标准定义了一种称为高级 Petri 网的 Petri 网技术,包括其语法和语义。 它提供了一个可以在组织内部和组织之间使用的参考定义,以确保对技术和使用该技术编写的规范有共同的理解。 该国际标准还将促进 Petri 网计算机支持工具的开发和互操作性。 该国际标准的第 1 部分定义了数学语义模型、注释的抽象数学语法和高级 Petri 网的图形表示法,称为高级 Petri 网图。 提供了根据语义模型定义图形形式的数学映射。 高级 Petri 网图的传输格式是本国际标准第 2 部分的主题,而第 3 部分则讨论模块化技术(例如层次结构)以及高级 Petri 网随时间的增强。
1.2 应用领域本国际标准适用于各种并发离散事件系统,特别是分布式系统。 一般应用领域包括:
1.3 受众 本国际标准的第 1 部分是为系统分析人员、设计人员、开发人员、维护人员和采购人员以及 Petri 网工具设计人员和标准开发人员提供参考。

ISO/IEC 15909-1:2004相似标准


推荐


谁引用了ISO/IEC 15909-1:2004 更多引用





Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号