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

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

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

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

发布日期：2004-12

标准范围

ISO/IEC 15909-1:2004定义了一种半图形建模语言，用于离散事件系统的规范、设计和分析，包括软件，尤其是并发性是重要特征的分布式和并行系统。高级Petri网技术是数学定义的，因此可以用于提供应用程序的明确规范和描述。该技术的图形性质允许信息或资源流和控制流可视化，为理解系统行为提供了强大的帮助。它也是一种可执行的技术，允许开发规范原型，以便在最早、最便宜的机会测试想法。在开始实施之前，可以对技术中编写的规范进行分析，以证明规范的特性，从而节省测试和维护时间。应用领域包括广泛的系统，从制造、业务流程、计算机软件和硬件、电信网络和信号系统、国防系统、机电一体化、邮政服务和航空电子系统到生物和社会技术系统。

标准预览图