变迁耦合网的T-不变量求解算法.pdfVIP

计算机科学2008Vol. 35 No. 9 变迁相合网的 T-不变量求解算法骨) 岳摸摸哲辉施建娟于立那 (山东科技大学信息科学与工程学院 青岛 266510) 摘 黯 首先定义了变迁搞合网2l相关概念，其次揭示了变迁精合网 N 中各个分支网的丁不变最同 N 的丁耐不变量 之间的关系，根据是否与精合变迁有关，将 N 的极小下不变量分为两类 MTSt和 MT马，然后给出了变迁搞合网所有 极小下不变量的求解算法，并给出了两个简单例子加以说明，最后编程实现所提算法并给出初步实验数据。试验结 果说明，本文所提算法比现有算法节省大量计算开支. 提锦诩 Petrí I鸡，变迁搞合闷，不变量 A1gorithm for Computing T-invariants in Transition Coup Iing Nets YlÆ Hao WU Zhe-hui SHI Jian-juan YU Li-ping (College of Infonnation ,Shandong University of Science and Technology， Qi咽dao 266510 ,China) Abs衍IICt Fírst.the transition couplíng net(TCN)and related concepts are defined Second.the relationshíp between T- invariants of TCN and its branches nets is poínted out. Based on the facts that whether they have anything to do with the Coupling transition. the minimal 下invariants of a TCN are divided inωtwo kinds called MTSt and MT~弘 The algo- rithrn for findíng T-invarian~s of TCN is given and two sirnple examples are used to illustrate the algorithrn. Finally ,the algorithm is irnplemented and the elementary experimental results are give凡 Evidence shows that the proposed algo- rithrn has advantages over prωent ones. KeywOl咖 Petri net. Transition coupling nets (TCN). Invariants 识，对xESUTì己t 1 冒|窗 x={yεSUTI (y.x) EF} .x 阳 {yεSU TI (x.y) E Petri 网作为系统建模和分析的工具已被广班应用于多 F} 个领域[I-4J. 1工不变最和 S不变费是对 Petri 网进行结构性 Petri 网具有如下变迁发生规则: 1)对于变迁 t 廷 T.若 质分析的重要工具，但对于 T-不变最直lG5-不变囊的求取至今 VsES:sE t→M(s);剖，则称标识M下变迁t 可引发， 未找到有效的算法，求取Petri 网、特别是大规模系统 Petri 网 记作M[t. 模型的不变最，常常要耗费大酷的计算时间和存储~ 间[!H3.16J 。由于对于