安徽省软科学研究计划(12020503031)
- 作品数：3 被引量：5H指数：1
- 相关作者：方贤文王丽丽王咪咪刘道浩吴哲辉更多>>
- 相关机构：安徽理工大学山东科技大学更多>>
- 发文基金：国家自然科学基金安徽省自然科学基金安徽省软科学研究计划更多>>
- 相关领域：自动化与计算机技术更多>>
- Petri网多重变迁集的行为轮廓一致性分析被引量：4
- 2013年
- 为有效解决业务流程模型中出现的重复活动的行为轮廓一致性问题,提出了一种基于Petri网多重变迁集的行为一致性测量方法。在多重变迁集的基础上,分析了模型行为轮廓中变迁的3种弱序关系,提出了一种考虑一致匹配变迁对与匹配变迁对的比值的测量方法,测量了包含重复活动的模型间的行为轮廓一致性服从度。通过理论和实例分析表明了该方法的有效性。
- 王咪咪方贤文
- 关键词：PETRI网一致性
- 关于Petri网中同步距离定义的研究被引量：1
- 2013年
- 同步距离是描述2个事件间同步的一个重要的恒定性质,反映了2个变迁之间的独立程度。它对系统的设计、分析和优化提供了很大的帮助。文章研究了Petri网中的同步距离的定义,通过实例分析指出原有定义适用于含有有向回路的网系统。随后将原有定义细化,引入公平性、亚公平性、T-跨来定义新的同步距离。新定义将处于非公平关系的变迁根据亚公平关系分2类情况考虑;对于处于公平关系的变迁根据T-跨分3种情况,讨论了同步距离的求解,并通过实例解决了原有定义存在的问题。
- 王丽丽吴哲辉方贤文刘道浩
- 关键词：PETRI网
- 子网行为等价的特殊网系统的同步距离
- 2014年
- 同步距离是刻画事件之间同步关系的一个重要的定量分析手段,已经有相关文献表明它对系统的设计和分析提供了很大的帮助,尤其在工作流和工业生产控制系统的协调结构设计方面有着显著的优势。然而目前只有一些特殊的子网中变迁之间的同步距离计算有较简洁的算法,为了使得更多的网系统其同步距离计算也能够有简洁的算法,证明了若一个网系统的行为等价与某个特殊的子网,那么此网系统中变迁之间的同步距离的求解就可以转化为其行为等价的特殊子网的同步距离的求解问题,并且给出了寻找其行为等价的特殊子网的算法,最后进行了相应的实验验证。
- 王丽丽方贤文张苗苗
- 关键词：PETRI网行为等价
