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

标准编号：ISO/IEC 15909-1:2019

中文名称：软件和系统工程 高级皮特里网 第1部分：概念、定义和图形注释

英文名称：Systems and software engineering — High-level Petri nets — Part 1: Concepts, definitions and graphical notation

发布日期：2019-08

标准范围

ISO/IEC 15909-1:20 19本文定义了一种Petri网建模语言或技术，称为高级Petri网，包括其语法和语义。它提供了一个可以在组织内部和组织之间使用的参考定义，以确保对该技术和使用该技术编写的规范有共同的理解。该文档还促进了Petri网计算机支持工具的开发和互操作性。本文档适用于各种并发离散事件系统，特别是分布式系统。一般应用领域包括:-需求分析；-制定规格、设计和测试套件；-在重新设计之前对现有系统的描述；-业务和软件流程建模；-提供并发语言的语义；-模拟系统以增加置信度；-系统行为的形式分析；-以及Petri网支持工具的开发。本文件可应用于广泛系统和流程的设计，包括航空航天、空中交通管制、航空电子、银行、生物和化学流程、业务流程、通信协议、计算机硬件架构、控制系统、数据库、国防指挥和控制系统、分布式计算、电子商务、容错系统、游戏、医院程序、信息系统、互联网协议和应用、法律流程、物流、制造系统、代谢过程、音乐、核电系统、操作系统、运输系统（包括铁路控制）、安全系统、电信和工作流程。

标准预览图