特征可达树相关论文
该论文首先给出亚公平依赖、亚公平关系的定义及判定条件,从而使公平依赖体系和公平体系完整化.之后又对亚公平网的性质进行研究,......
Petri网的进程是对系统行为描述和分析的有力工具,它可以很清楚地反映出网系统运行中变迁之间的顺序、并发、同步等现象。然而,一......
提出了Petri网的进程系统的概念,一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集,以各个基本进程段集的输入和输出库所......