弱引发二态加时变迁Petri网周期动态行为分析

摘要

本文提出了一种弱引工二态加时变迁Petri网以有效地建模分析具确定性时间约束和冲突结构并发系统：结合并发系统的周期调度问题，在并发意义下讨论该网模型动态行为的时间特性，给出了其动态过程呈周期行为的充分或必要条件。有关结果有一定的应用价值。