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

摘要

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