同步合成网的结构性质分析-东南大学学报.PDFVIP

第 卷第 期 ２９ ５ 东 南 大 学 学 报 Ｖｏｌ２９Ｎｏ５ 年 月 １９９９ ９ ＪＯＵＲＮＡＬＯＦＳＯＵＴＨＥＡＳＴＵＮＩＶＥＲＳＩＴＹ Ｓｅｐｔ．１９９９  同步合成网的结构性质分析 杜玉越 李孝忠 曹德范 （聊城师范学院计算机科学系，聊城 ２５２０５９） 摘 要 研究了同步合成网的结构性质，给出了同步合成网保持子网结构性质不变 的条件 结果表明：同步合成网对某些结构性质可直接保持，而对另一些结构性质， ． 需在某种条件下保持 这些结果可为网系统同步合成提供有力手段 ． ． 关键词 Ｐｅｔｒｉ网；同步合成；结构性质；保持 分类号 ＴＰ４ Ｐｅｔｒｉ网作为系统模拟与分析的有效工具已得到了广泛地应用，基于Ｐｅｔｒｉ网的软件开发 ［］ １ 工具不断涌现 如同其它分析方法一样，对于复杂或大系统的分析，是 网方法的一个 ． Ｐｅｔｒｉ 难点 当采用自下而上的组合法对系统建模时，怎样合并小型或子 网，才能保持大型或 ． Ｐｅｔｒｉ 总 网的性质不变，这个问题已引起了人们的高度重视 文献［］引进了 网的加法和 Ｐｅｔｒｉ ． ２ Ｐｅｔｒｉ 笛积运算，文献［］提出了组合一个 健全网和一个非干扰网保持活性的方法，文献［］给出 ３ Ｆ ４ 了共享合成 网的方法，这些都可作为系统合成与分析的手段 本文研究同步合成网的结 Ｐｅｔｒｉ ． 构性质 结果表明：同步合成网对某些结构性质可以直接保持；而对另一些结构性质，需在某 ． 种条件下保持 有关 网的基本定义和术语参见文献［］ ． Ｐｅｔｒｉ ５． １ 同步合成网 若 （，；）是一个网， 为 的一个标识，则称四元式 （，；， ）为一个 Ｎ ＳＴＦ Ｍ Ｎ ＳＴＦＭ ＝ Σ＝ 网，通常记为 （ ， ） Ｐｅｔｒｉ Σ＝ Ｎ Ｍ ． 定义 设网 （ ， ； ）， （ ， ； ）是 个网， ， ， １ Ｎ Ｓ Ｔ Ｆ Ｎ Ｓ Ｔ Ｆ ２ Ｔ Ｔ Ｔ Ｔ １ ＝ １ １ １ ２ ＝ ２ ２ ２ ０ ＝ １∩ ２ ０≠ 则称网 ， ，是经由 可组合的，并记 ， 的组合网为