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

[中文适用范围]： 1.1 目的 本国际标准定义了一种称为高级 Petri 网的 Petri 网技术，包括其语法和语义。 它提供了一个可以在组织内部和组织之间使用的参考定义，以确保对技术和使用该技术编写的规范有共同的理解。 该国际标准还将促进 Petri 网计算机支持工具的开发和互操作性。 该国际标准的第 1 部分定义了数学语义模型、注释的抽象数学语法和高级 Petri 网的图形表示法，称为高级 Petri 网图。 提供了根据语义模型定义图形形式的数学映射。 高级 Petri 网图的传输格式是本国际标准第 2 部分的主题，而第 3 部分则讨论模块化技术（例如层次结构）以及高级 Petri 网随时间的增强。1.2 应用领域本国际标准适用于各种并发离散事件系统，特别是分布式系统。 一般应用领域包括：1.3 受众 本国际标准的第 1 部分是为系统分析人员、设计人员、开发人员、维护人员和采购人员以及 Petri 网工具设计人员和标准开发人员提供参考。 [外文原描述]： ISO/IEC 15909-1:2004 defines a semi-graphical modelling language for the specification, design and analysis of discrete event systems, including software and in particular distributed and parallel systems where concurrency is an important characteristic. The technique, High-level Petri Nets, is mathematically defined and may thus be used to provide unambiguous specifications and descriptions of applications. The graphical nature of the technique allows information, or resource flow, and control flow to be visualised, providing a powerful aid to understanding system behaviour. It is also an executable technique, allowing specification prototypes to be developed to test ideas at the earliest and cheapest opportunity. Specifications written in the technique may be subjected to analysis methods to prove properties about the specifications, before implementation commences, thus saving on testing and maintenance time. The field of application encompasses a wide range of systems from technical systems such as manufacturing, business processes, computer software and hardware, telecommunication networks and signalling systems, defence systems, mechatronics, postal services and avionics to biological and sociotechnical systems.