动态优先系统及其Petri网语义

优先关系是并发系统控制的重要手段 .文中提出一种动态优先系统 (Σ,D) ,其中 Σ是有界 Petri网 ,D是描述变迁之间优先关系的动态结构 .然后采用变换技术分别给出安全的和有界的动态优先系统的 Petri网语义 :通过引入广义补位置和优先变迁 ,并对非安全系统的某些变迁进行分解 ,根据 (Σ,D)构造相应的 Petri网 ΣD.最后利用步序列证明了 ΣD 在不破坏动态优先结构 D的规格说明约束的前提下 ,尽可能地保持了 Σ的并发语义 .

动态优先系统及其应用

优先关系是并发系统控制的重要手段 ,常用于解决并发系统设计中的冲突问题 .在有界 P/ T系统的基础上提出一种动态优先系统 ,并分别给出它们的交错语义与真并发语义 .动态优先系统既可以作为并发与分布式系统的建模工具 ,也可以作为定义程序设计语言中优先算子的语义基础 .最后 ,基于动态优先系统的概念 ,为