安徽省高校省级自然科学研究项目(KJ2011A086)
- 作品数：5 被引量：9H指数：1
- 相关作者：方贤文王丽丽郝文君刘道浩王娟更多>>
- 相关机构：安徽理工大学同济大学山东科技大学更多>>
- 发文基金：国家自然科学基金安徽省高校省级自然科学研究项目安徽省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- P/T_网中的同步距离
- 2014年
- 同步距离既可以对两组事件之间同步程度进行定量分析,也可以刻画系统动态行为,然而Petri中同步距离计算一直存在难题。采用加权观察库所的原理讨论了P/T_网中任意两个变迁子集之间同步距离的计算,并通过本原权函数的定义指出了如何给连接变迁和加权观察库所之间的弧配置一个唯一的权值。为了得到处于同一个公平分支变迁子集之间的同步距离值,需构造一个带权同步观察P/T_系统,通过模拟原网系统的可覆盖树得到带权观察库所的最大和最小tokens,从而求得变迁子集之间的同步距离值,并给出相应算法,给出了求解P/T_网中任意两个变迁子集之间同步距离计算算法。
- 王丽丽方贤文方欢蔡瑞文
- 基于开放Petri网的Web服务行为弱合理性分析被引量：1
- 2012年
- 目前,组合Web服务的正确性主要是通过合理性来判定,判定服务组合模型是否满足行为一致相关性是判定合理性的有效方法,而已提出的行为一致相关性判定算法仅在T-不变量存在的情况是可行的.文中利用开放Petri网对Web服务进行建模,基于服务树理论,提出了判定多个Web服务组合后满足行为弱合理性的算法,实现对组合Web服务的正确性分析.最后通过具体实例分析了该方法的有效性.
- 王娟方贤文
- 基于Petri网的流程模型中最小变化域的分析方法被引量：7
- 2012年
- 为了灵活适应市场业务需求变化,确定业务流程中的变化部分成为业务流程管理的核心问题。已有的研究都是建立在静态的分析基础上,通过给定的变化节点来搜索变化范围,具有一定的局限性。基于Petri网方法及行为轮廓思想对业务流程模型进行分析,从动态行为角度分别给出了寻找流程模型中的行为变化部分的方法,以及确定流程模型中最小变化域的分析方法。并给出一个具体的业务流程的实例,分析了该方法的有效性。
- 郝文君方贤文
- 关键词：PETRI网
- 关于Petri网中同步距离定义的研究被引量：1
- 2013年
- 同步距离是描述2个事件间同步的一个重要的恒定性质,反映了2个变迁之间的独立程度。它对系统的设计、分析和优化提供了很大的帮助。文章研究了Petri网中的同步距离的定义,通过实例分析指出原有定义适用于含有有向回路的网系统。随后将原有定义细化,引入公平性、亚公平性、T-跨来定义新的同步距离。新定义将处于非公平关系的变迁根据亚公平关系分2类情况考虑;对于处于公平关系的变迁根据T-跨分3种情况,讨论了同步距离的求解,并通过实例解决了原有定义存在的问题。
- 王丽丽吴哲辉方贤文刘道浩
- 关键词：PETRI网
- 子网行为等价的特殊网系统的同步距离
- 2014年
- 同步距离是刻画事件之间同步关系的一个重要的定量分析手段,已经有相关文献表明它对系统的设计和分析提供了很大的帮助,尤其在工作流和工业生产控制系统的协调结构设计方面有着显著的优势。然而目前只有一些特殊的子网中变迁之间的同步距离计算有较简洁的算法,为了使得更多的网系统其同步距离计算也能够有简洁的算法,证明了若一个网系统的行为等价与某个特殊的子网,那么此网系统中变迁之间的同步距离的求解就可以转化为其行为等价的特殊子网的同步距离的求解问题,并且给出了寻找其行为等价的特殊子网的算法,最后进行了相应的实验验证。
- 王丽丽方贤文张苗苗
- 关键词：PETRI网行为等价
