24、抑制器网的完整进程语义解析

抑制器网的完整进程语义解析

1. 引言

在Petri网的研究中，进程语义的定义和完善是一个重要的课题。合理的进程语义框架能够确保为不同类型的Petri网开发的进程和因果语义得到一致的定义。本文将围绕Petri网的进程语义展开，介绍相关的语义框架，并探讨如何完善抑制器网（pti - nets）的进程语义。

2. 基本概念与定义

• 运行（Run）的启用性 ：对于给定的定义，可以轻松验证图1中的运行κ(AON)相对于NI是启用的。κ(AON)的两个线性化表示同步步骤序列tu{v, w}和{t, u}{v, w}，这两个序列在NI中都是可执行的。
• 启用的LPO（Labeled Partial Order） ：定义7与p/t - 网上下文中启用的LPO概念一致，并且是其适当的推广。一个LPO lpo = (V, ≺, l)（其中l : V → T）相对于标记的p/t - 网(P, T, W, m0)是启用的，如果扩展lpo的每个步骤序列都是在m0中启用的步骤发生序列。在LPO中，并发和同步转换发生不做区分，这里的步骤被视为由转换标记的事件集（转换发生），这些事件是并发的。

3. 语义框架

3.1 框架概述

有一个处理Petri网进程语义的通用框架，其目的是支持使用通用方案为各种Petri网类系统地开发进程和因果语义。该框架中的缩写含义如下：
|缩写|含义|
| ---- | ---- |
|PN|表示Petri网模型以及操作发生规则|
|EX|表示根据PN