BS ISO IEC 15909——高级Petri网标准系列（概念定义图形表示与传输格式）

🕸️ BS ISO/IEC 15909 是国际标准化组织（ISO）与国际电工委员会（IEC）联合制定、英国标准协会（BSI）采纳为英国国家标准的高级 Petri 网标准系列。本批收录 ISO/IEC 15909-1:2004（概念、定义与图形表示）与 ISO/IEC 15909-2:2011（传输格式 PNML，含 2013 年 12 月 ISO/IEC 勘误）两个分部。高级 Petri 网以”库所 + 变迁 + 托肯”的形式化框架刻画并发、同步、资源共享与异步通信系统，是工作流建模、通信协议验证与控制系统分析领域的经典方法；BS ISO/IEC 15909 系列则为该方法提供了标准化、可互操作的形式化基础，使模型能够在不同建模与分析工具之间自由流转。

💡 高级 Petri 网与普通 Petri 网的关键区别在于托肯携带类型化数据：托肯不再只是一个无差别的黑点，而是可以承载整数、记录、列表等结构化信息，从而以更精炼的模型表达真实业务对象与数据流动，同时保留严格的形式化语义。

一、系列概述与标准背景 📌

ISO/IEC 15909 系列围绕高级 Petri 网展开。其总体架构是：Part 1 定义语义模型与图形表示，Part 2 定义基于 XML 的 Petri 网标记语言（PNML）传输格式，后续部分继续扩展分布式系统建模与分析所需的其他特性。本批收录的 Part 1 与 Part 2 分别对应”语义与表示”和”交换与互操作”两个层面，二者配合使用，既保证了模型表达的一致性与严谨性，又从根本上解决了不同工具之间模型无法互换的历史难题。标准由英国技术委员会 IST/15（软件与系统工程）负责参与制定，属于软件与系统工程（ICS 35.080）领域。

标准号	中文标题	发布年份	核心内容
BS ISO/IEC 15909-1:2004	概念、定义与图形表示	2004	语义模型、标记、使能与迁移规则、图形记法
BS ISO/IEC 15909-2:2011	传输格式（PNML）	2011	PNML 文档、符合性等级、类型系统与工具间交换

⚠️ Part 2 的 2011 年版纳入了 2013 年 12 月的 ISO/IEC 勘误，勘误新增或修改的文本在标准中以特殊标签标注。引用时应优先采用包含勘误的现行版本，避免依据被修订的旧表述产生错误理解。

二、概念、定义与图形表示（Part 1）📐

Part 1 是本系列的基础，它给出了高级 Petri 网的完整形式化定义，并规定了统一的图形表示法，主要内容包括：

语义模型：从集合与关系的角度严格定义高级 Petri 网结构，包括库所集、变迁集、弧与标注函数等构成要素，保证模型中每个元素都有精确无歧义的含义。
标记（Marking）：定义网在某一时刻的状态分布，即各库所中托肯的集合，刻画系统的静态数据分布。
变迁使能（Enabling）：定义变迁在何种条件下可以发生，既包括单个变迁模式的使能，也包括多个变迁模式的并发使能。
迁移规则（Transition Rule）：规定使能变迁发生后的标记变化，即从当前状态推导出后继状态的确定方法。
图形表示：规定库所、变迁、弧与托肯的图形记法，使模型既可被形式化分析，又能被工程师直观阅读与设计。

💡 语义模型是形式化分析的基础：借助使能与迁移规则可以推导可达图，进而分析系统是否满足活性、有界性、无死锁等性质，为并发系统的正确性验证提供严格依据，这是单纯仿真与测试手段难以替代的。

三、语义模型与动态行为 ⚙️

Part 1 对高级 Petri 网的动态行为给出了精确定义。一个高级 Petri 网由类型化数据、库所、变迁及连接它们的弧构成；每个库所关联一个类型，表示它所能容纳的托肯集合；每条弧带有表达式，定义托肯在变迁发生时的流动关系。变迁使能要求：在某个绑定下，各输入库所中的托肯能够满足弧表达式的约束；迁移发生后，输入库所扣除相应托肯，输出库所按输出弧表达式加入新的托肯，从而形成完整的”状态推进”过程。

对于并发行为，标准区分了”单变迁模式使能”与”并发使能”。当多个变迁模式互不冲突（即不争夺同一个托肯）时，它们可以并发发生；当发生冲突时，系统只能选择其中一个执行，这就对应了实际系统中的资源竞争与互斥机制。通过对这些规则的严格定义，标准为并发系统的建模与分析提供了统一、可复现的执行语义，无论使用何种工具，同一模型都会产生一致的演化结果。

⚠️ 建模时需要特别注意冲突与同步语义：同一图形结构若在不同工具中执行语义不一致，分析结果可能完全不同。采用 BS ISO/IEC 15909 定义的标准语义，可以有效避免”同一模型、不同结果”的歧义。

四、PNML 传输格式（Part 2）🔁

Part 2 定义了 Petri 网标记语言（PNML），这是以 XML 为基础的通用传输格式，用于在 Petri 网工具之间无损交换模型，主要内容包括：

PNML 文档：以 XML 表达 Petri 网的结构、类型与标注，支持工具间的完整导入导出。
符合性等级：区分 PNML 文档、P/T（库所/变迁）网文档与高级 Petri 网文档等不同等级，明确工具声称支持的范围。
类型系统：定义网、类型、标注与值域等概念，支持类型化托肯与结构化数据。
可扩展机制：允许在保留互操作性的前提下增加特定工具的扩展标注，兼顾标准化与灵活性。

要素	内容	作用
PNML 文档	XML 表示的 Petri 网	工具间交换的载体
符合性等级	文档/P/T 网/高级网	明确支持范围
类型系统	类型、标注、值域	支持类型化数据
标注机制	初始标记、弧表达式等	完整描述网实例

五、符合性要求与工具互操作 🛠️

为了保证互操作性，标准要求工具明确声明其支持的符合性等级。对于声称符合某等级的工具，其导出的 PNML 文档应能被其他支持同一等级的工具完整解析；对于模型中出现的类型系统、标注与值域，应在文档中加以声明，避免工具间出现不支持的结构。实际项目中，建议在模型导入导出后做一次”往返验证”，即导出后再导入原工具，检查信息是否完整无损。

选择支持所需符合性等级的建模与分析工具，避免依赖厂商私有格式导致模型锁定。
在项目早期确定类型系统与标注约定，减少跨工具传递时的语义损失。
建立模型的版本管理机制——PNML 文本格式天然适合纳入版本控制与差异比较。
在合同或采购条款中明确工具的 PNML 符合性声明，作为验收依据之一。

六、工程实践与应用场景 🚀

工作流与业务流程建模：用库所表示任务状态、变迁表示活动，直观表达并行、分支与汇聚。
通信协议验证：建模协议状态机，分析活性、安全性与死锁，帮助定位协议缺陷。
硬件与控制系统建模：描述并发进程、资源共享与同步约束，辅助系统早期设计。
工具链互操作：借助 PNML 在建模、仿真、验证等多类工具间交换模型，形成一体化开发流程。

七、常见问题解答 ❓

❓ 问：什么是高级 Petri 网，它与普通 Petri 网有什么区别？
答：高级 Petri 网是普通 Petri 网的扩展，其托肯可以携带整数、记录、列表等类型化数据，并允许弧表达式参与托肯流动的计算，因此能用更简洁的模型表达真实系统，同时保留严格的形式化语义。

❓ 问：BS ISO/IEC 15909-1 与 15909-2 的分工是什么？
答：Part 1 定义高级 Petri 网的概念、定义与图形表示，提供统一的语义模型；Part 2 定义 PNML 传输格式，解决不同工具之间模型交换与互操作的问题。前者是语义基础，后者是交换载体。

❓ 问：什么是 PNML？
答：PNML（Petri Net Markup Language）是以 XML 为基础的高级 Petri 网传输格式，由 BS ISO/IEC 15909-2 定义，用于在不同建模与分析工具之间无损交换 Petri 网模型。

❓ 问：如何保证不同工具之间的互操作？
答：应选择支持所需符合性等级的 PNML 工具，明确类型系统与标注约定，并在导入导出后进行往返验证，确认信息无丢失后再纳入正式模型库。

🔍 问：标准中的勘误（corrigendum）会影响使用吗？
答：会。勘误是对标准文本的正式修订，例如 15909-2:2011 就纳入了 2013 年 12 月的 ISO/IEC 勘误。使用时应采用包含勘误的现行版本，以免依据被修订的旧文本导致错误。

🔒

正在加载下载地址，请稍候 10 秒