关于Petri网中同步距离定义的研究.doc

合 肥 工 业 大 学 学 报 （自 然 科 学 版 ） ＪＯＵＲＮＡＬ ＯＦ ＨＥＦＥＩＵＮＩＶＥＲＳＩＴＹ ＯＦＴＥＣＨＮＯＬＯＧＹ 第３６ 卷 第３ 期 ２０１３ 年３ 月 Ｖｏｌ．３６Ｎｏ．３ Ｍａｒ．２０１３ Ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１００３－５０６０．２０１３．０３．０１１ 关于 Ｐｅｔｒｉ网中同步距离定义的研究 王丽丽１， 吴哲辉２， 方贤文１， 刘道浩１ （１．安徽理工大学 理学院，安徽 淮南 ２３２００１；２．山东科技大学 信息科学与工程学院，山东 青岛 ２６６５１０） 摘 要：同步距离是描述２ 个事件间同步的一个重要的恒定性质，反映了２ 个变迁之间的独立程度。 它 对 系 统的设计、分析和优化提供了很大的帮助。 文章研究了 Ｐｅｔｒｉ网中的同步距离的定义，通过实例分析指出原有 定义适用于含有有向回路的网系统。 随后将原有定义细化，?? 入 公 平 性、亚 公 平 性、Ｔ－跨 来 定义新的同步距 离。新定义将处于非公平关系的变迁根据亚公平关 系 分 ２ 类 情 况 考 虑；对于处于公平关系的变迁根据 Ｔ－跨 分３ 种情况，讨论了同步距离的求解，并通过实例解决了原有定义存在的问题。 关键词：Ｐｅｔｒｉ网；同步距离定义；观察库所；Ｔ－跨 中图分类号：ＴＰ３０２．２ 文献标志码：Ａ 文章编号：１００３－５０６０（２０１３）０３－０３０３－０６ ＤｉｓｃｕｓｓｉｏｎｏｎｔｈｅｄｅｆｉｎｉｔｉｏｎｏｆｓｙｎｃｈｒｏｎｉｃｄｉｓｔａｎｃｅｉｎＰｅｔｒｉｎｅｔ ＷＡＮＧ Ｌｉ－ｌｉ１ ， ＷＵ Ｚｈｅ－ｈｕｉ２ ， ＦＡＮＧ Ｘｉａｎ－ｗｅｎ１ ， ＬＩＵ Ｄａｏ－ｈａｏ１ （１．ＣｏｌｌｅｇｅｏｆＳｃｉｅｎｃｅ，ＡｎｈｕｉＵｎｉｖｅｒｓｉｔｙｏｆＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙ，Ｈｕａｉｎａｎ２３２００１，Ｃｈｉｎａ；２．ＣｏｌｌｅｇｅｏｆＩｎｆｏｒｍａｔｉｏｎＳｃｉｅｎｃｅａｎｄＥｎｇｉ－ ｎｅｅｒｉｎｇ，ＳｈａｎｄｏｎｇＵｎｉｖｅｒｓｉｔｙｏｆＳｃｉｅｎｃｅａｎｄＴｅｃｈｎｏｌｏｇｙ，Ｑｉｎｇｄａｏ２６６５１０，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｓｙｎｃｈｒｏｎｉｃｄｉｓｔａｎｃｅｉｓａｎｉｍｐｏｒｔａｎｔｃｏｎｓｔａｎｔｎａｔｕｒｅｔｏｄｅｓｃｒｉｂｅｔｈｅｓｙｎｃｈｒｏｎｉｃｉｔｙｂｅｔｗｅｅｎ ｔｗｏｅｖｅｎｔｓａｎｄｒｅｆｌｅｃｔｓｔｈｅｄｅｇｒｅｅｏｆｉｎｄｅｐｅｎｄｅｎｃｅｂｅｔｗｅｅｎｔｗｏｔｒａｎｓｉｔｉｏｎｓ．Ｉｔｉｓｖｅｒｙｈｅｌｐｆｕｌｉｎｔｈｅ ｄｅｓｉｇｎ，ａｎａｌｙｓｉｓａｎｄｏｐｔｉｍｉｚａｔｉｏｎｏｆｔｈｅｓｙｓｔｅｍｓ．Ｉｎｔｈｉｓｐａｐｅｒ，ｔｈｅｄｅｆｉｎｉｔｉｏｎｏｆｓｙｎｃｈｒｏｎｉｃｄｉｓｔａｎｃｅｉｎ Ｐｅｔｒｉｎｅｔｉｓｄｉｓｃｕｓｓｅｄａｎｄｉｔｉｓｐｏｉｎｔｅｄｏｕｔｔｈａｔｔｈｅｏｒｉｇｉｎａｌｄｅｆｉｎｉｔｉｏｎｉｓｍａｉｎｌｙｆｉｔｆｏｒｎｅｔｓｙｓｔｅｍｓｗｉｔｈ ｄｉｒｅｃｔｅｄｃｉｒｃｕｉｔｂｙａｎａｌｙｚｉｎｇｅｘａｍｐｌｅｓ．Ａ ｎｅｗ ｄｅｆｉｎｉｔｉｏｎａｂｏｕｔｓｙｎｃｈｒｏｎｉｃｄｉｓｔａｎｃｅｉｓｔｈｅｎｐｒｅｓｅｎｔｅｄ ｂｙｉｎｔｒｏｄｕｃｉｎｇｆａｉｒｎｅｓｓ，ｍｅｔａ－ｆａｉｒｒｅｌａｔｉｏｎ，ａｎｄＴ－ｂｅｓｔｒｉｄｅｉｎｔｈｅｏｒｉｇｉｎａｌｄｅｆｉｎｉｔｉｏｎ．Ｔｈｅｔｒａｎｓｉｔｉｏｎｓｉｎ ｎｏｎ－ｆａｒｉｎｅｓｓａｎｄｆａｉｒｎｅｓｓｒｅｌａｔｉｏｎｓａｒｅｄｉｓｃｕｓｓｅｄ，ａｎｄｔｗｏｃａｓｅｓａｒｅｃｏｎｓｉｄｅｒｅｄｆｏｒｔｈｅｍｅｔａ－ｆａｉｒｒｅｌａ－ ｔｉｏｎａｎｄｔｈｒｅｅｃａｓｅｓｆｏｒｔｈｅＴ－ｂｅｓｔｒｉｄｅｒｅｌａｔｉｏｎ．Ｔｈｅｎｄｅｔａｉｌｓａｂｏｕｔｔｈｅｓｏｌｕｔｉｏｎｏｆｔｈｅｓｙｎｃｈｒｏｎｉｃｄｉｓ－ ｔａｎｃｅａｒｅｄｉｓｃｕｓｓｅｄ．Ｆｉｎａｌｌｙｅｘａｍｐｌｅｓａｒｅｇｉｖｅｎｗｈｉｃｈｓｈｏｗｔｈａｔｔｈｅｐｒｏｂｌｅｍｓｉｎｔｈｅｏｒｉｇｉｎａｌｄｅｆｉｎｉｔｉｏｎ ａｒｅｓｏｌｖｅｄｂｙｔｈｅｎｅｗｄｅｆｉｎｉｔｉｏｎ． Ｋｅｙｗｏｒｄｓ：Ｐｅｔｒｉｎｅｔ；ｓｙｎｃｈｒｏｎｉｃｄｉｓｔａｎｃｅｄｅｆｉｎｉｔｉｏｎ；ｏｂｓｅｒｖｅ－ｐｌａｃｅ；Ｔ－ｂｅｓｔｒｉｄｅ Ｐｅｔｒｉ网作为描述异 步 并发现象的系 统 模型 在许多领域 得 到 了 广 泛 应 用［１－７］，尤 其 是 在 并 发 系统中更显示出 独 特 的 优 越 性。 在 许 多 系 统 设 计中，尤其 是 在 信息 中系统常 常会遇到信息之 间的同步 问 题，譬 如，必 须 考 虑 信 息 的 发 送、传 递及接收 等 动 作 间 的 同 步，多 媒 体 系 统 中 媒 体 流内