Petri网的依赖关系

为了分析变迁不处于公平关系或弱公平关系时在运行中的依赖关系 ,本文提出了公平依赖和弱公平依赖的概念 .研究了伪可重复向量的性质及在判断公平依赖关系时起的作用 .给出了判断变迁处于公平依赖关系和弱公平依赖关系的充分必要条件 .

Petri网中的公平依赖体系研究

本文给出了弱公平依赖的严格定义 ,及亚公平依赖、弱公平依赖关系的判定条件 .从而使了公平依赖关系也同公平关系一样成为一个严格体系 ,并给出了公平依赖体系的图形表示 .使公平依赖关系的研究可部分的借鉴公平体系研究的成果 。

Petri网并运算的性质研究

进一步研究了Petri网的并运算,讨论了这种运算保持网的动态及结构性质的条件。