子网行为等价的特殊网系统的同步距离 |
| |
作者姓名: | 王丽丽 方贤文 张苗苗 |
| |
作者单位: | 安徽理工大学理学院; |
| |
基金项目: | 国家自然科学基金资助项目(61272153,61170059);安徽省高校自然科学基金重点资助项目(KJ2011A086);安徽省自然科学基金资助项目(1208085MF105);安徽省软科学研究计划资助项目(12020503031);安徽理工大学青年教师科学研究基金资助项目(2012QNY36) |
| |
摘 要: | 同步距离是刻画事件之间同步关系的一个重要的定量分析手段,已经有相关文献表明它对系统的设计和分析提供了很大的帮助,尤其在工作流和工业生产控制系统的协调结构设计方面有着显著的优势。然而目前只有一些特殊的子网中变迁之间的同步距离计算有较简洁的算法,为了使得更多的网系统其同步距离计算也能够有简洁的算法,证明了若一个网系统的行为等价与某个特殊的子网,那么此网系统中变迁之间的同步距离的求解就可以转化为其行为等价的特殊子网的同步距离的求解问题,并且给出了寻找其行为等价的特殊子网的算法,最后进行了相应的实验验证。
|
关 键 词: | Petri网 同步距离 行为等价 特殊子网 |
本文献已被 CNKI 等数据库收录! |
|