ISO/IEC 15909-3:2021 系统和软件工程 高级Petri网 第3部分：扩展和结构机制

标准编号：ISO/IEC 15909-3:2021

中文名称：系统和软件工程 高级Petri网 第3部分：扩展和结构机制

英文名称：Systems and software engineering — High-level Petri nets — Part 3: Extensions and structuring mechanisms

发布日期：2021-11

标准范围

本文件定义了Petri网的丰富、扩展和结构化机制，应用于ISO/IEC 15909-1中提出的定义。本文档有助于新类型Petri网的定义及其互操作性，同时保持与ISO/IEC 15909-1中定义的兼容。本文档通过定义常见的丰富、扩展和结构化机制，以及定义新的丰富、扩展和结构化机制，作为新Petri网变体设计者的参考。本文档适用于各种并发离散事件系统，特别是分布式系统。一般应用领域包括:-需求分析；-制定规格、设计和测试套件；-重新设计前现有系统的描述-工程；-业务和软件流程建模；-提供并发语言的语义；-模拟系统以增加置信度；-系统行为的形式分析；-以及Petri网支持工具的开发。本文件可应用于广泛的系统和流程的设计，包括航空航天、空中交通管制、航空电子、银行、生物和化学流程、业务流程、通信协议、计算机硬件架构、控制系统、数据库、国防指挥和控制系统、分布式计算、电子商务、容错系统、游戏、医院程序、信息系统、互联网协议和应用、法律流程、物流、制造系统、代谢过程、音乐、核电系统、操作系统、运输系统（包括铁路控制）、安全系统、电信和工作流程。

标准预览图