安徽省自然科学基金(1208085MF105)
- 作品数：8 被引量：29H指数：3
- 相关作者：方贤文王丽丽方欢刘祥伟郝文君更多>>
- 相关机构：安徽理工大学同济大学山东科技大学更多>>
- 发文基金：国家自然科学基金安徽省自然科学基金安徽省高校省级自然科学研究项目更多>>
- 相关领域：自动化与计算机技术更多>>
- Petri网多重变迁集的行为轮廓一致性分析被引量：4
- 2013年
- 为有效解决业务流程模型中出现的重复活动的行为轮廓一致性问题,提出了一种基于Petri网多重变迁集的行为一致性测量方法。在多重变迁集的基础上,分析了模型行为轮廓中变迁的3种弱序关系,提出了一种考虑一致匹配变迁对与匹配变迁对的比值的测量方法,测量了包含重复活动的模型间的行为轮廓一致性服从度。通过理论和实例分析表明了该方法的有效性。
- 王咪咪方贤文
- 关键词：PETRI网一致性
- P/T_网中的同步距离
- 2014年
- 同步距离既可以对两组事件之间同步程度进行定量分析,也可以刻画系统动态行为,然而Petri中同步距离计算一直存在难题。采用加权观察库所的原理讨论了P/T_网中任意两个变迁子集之间同步距离的计算,并通过本原权函数的定义指出了如何给连接变迁和加权观察库所之间的弧配置一个唯一的权值。为了得到处于同一个公平分支变迁子集之间的同步距离值,需构造一个带权同步观察P/T_系统,通过模拟原网系统的可覆盖树得到带权观察库所的最大和最小tokens,从而求得变迁子集之间的同步距离值,并给出相应算法,给出了求解P/T_网中任意两个变迁子集之间同步距离计算算法。
- 王丽丽方贤文方欢蔡瑞文
- 基于行为片段模式的流程模型Petri网交互变化区域的责任分析
- 2014年
- 对Petri网模型交互后的变化区域的责任分析,是模型交互一致性和兼容性研究的一个重要问题。已有的关于变化区域的研究只涉及到寻找变化区域的方法,对于引起变化区域的责任分析并没有做更多研究。给出了责任的定义,结合行为片段模式的概念,从动态的角度,提出一种基于行为片段模式来分析判断变化区域的责任方的方法,并通过实例分析验证了该方法的有效性。
- 杨艳方贤文刘祥伟
- 关键词：PETRI网
- 基于模态Petri网的行为有效区间寻找最优路径的方法被引量：1
- 2014年
- 为满足客户需求,在行为约束下的业务流程中寻找行为执行的最优路径具有一定的实际意义。已有的研究是建立在静态分析基础上,通过优化算法或是行为分析来寻找最优执行路径,忽略了行为约束条件对执行行为有效性的影响,所得结果具有一定的局限性。文中在已有方法的基础上,利用Petri网行为轮廓序关系描述约束条件并确定行为有效区间,提出了基于模态Petri网分支有效区间的业务流程最优路径选择方法。该方法以行为有效区间替代已有的固定值方法,以便更好地描述业务流程的行为约束以及约束下的有效行为。通过一个具体的业务流程分析实例分析了该方法的有效性。
- 方贤文陶小燕刘祥伟
- 基于Petri网的流程模型中最小变化域的分析方法被引量：7
- 2012年
- 为了灵活适应市场业务需求变化,确定业务流程中的变化部分成为业务流程管理的核心问题。已有的研究都是建立在静态的分析基础上,通过给定的变化节点来搜索变化范围,具有一定的局限性。基于Petri网方法及行为轮廓思想对业务流程模型进行分析,从动态行为角度分别给出了寻找流程模型中的行为变化部分的方法,以及确定流程模型中最小变化域的分析方法。并给出一个具体的业务流程的实例,分析了该方法的有效性。
- 郝文君方贤文
- 关键词：PETRI网
- 关于Petri网中同步距离定义的研究被引量：1
- 2013年
- 同步距离是描述2个事件间同步的一个重要的恒定性质,反映了2个变迁之间的独立程度。它对系统的设计、分析和优化提供了很大的帮助。文章研究了Petri网中的同步距离的定义,通过实例分析指出原有定义适用于含有有向回路的网系统。随后将原有定义细化,引入公平性、亚公平性、T-跨来定义新的同步距离。新定义将处于非公平关系的变迁根据亚公平关系分2类情况考虑;对于处于公平关系的变迁根据T-跨分3种情况,讨论了同步距离的求解,并通过实例解决了原有定义存在的问题。
- 王丽丽吴哲辉方贤文刘道浩
- 关键词：PETRI网
- 子网行为等价的特殊网系统的同步距离
- 2014年
- 同步距离是刻画事件之间同步关系的一个重要的定量分析手段,已经有相关文献表明它对系统的设计和分析提供了很大的帮助,尤其在工作流和工业生产控制系统的协调结构设计方面有着显著的优势。然而目前只有一些特殊的子网中变迁之间的同步距离计算有较简洁的算法,为了使得更多的网系统其同步距离计算也能够有简洁的算法,证明了若一个网系统的行为等价与某个特殊的子网,那么此网系统中变迁之间的同步距离的求解就可以转化为其行为等价的特殊子网的同步距离的求解问题,并且给出了寻找其行为等价的特殊子网的算法,最后进行了相应的实验验证。
- 王丽丽方贤文张苗苗
- 关键词：PETRI网行为等价
- Petri网在可靠性分析中的研究综述被引量：17
- 2014年
- 可靠性的相关研究在安全关键系统中具有重要意义,利用Petri网可以实现对可靠性的形式化建模以及动态行为的描述。首先对基于Petri网的可靠性分析与研究的基本方法进行分类。其次,着重分析了利用随机Petri网求解系统可靠性的基本方法和步骤,针对等价于Markov过程和非Markov过程的两类系统,重点讨论了基于随机Petri网的系统可靠性分析方法,并指出各类分析研究方法的优缺点。进一步,分析和比较了其他各种类型Petri网在可靠性分析中的应用方法及其优缺点。最后,总结了一些常见的Petri网计算机仿真软件,并针对基于Petri网的可靠性研究展望了几个有价值的研究方向。
- 方欢方贤文王丽丽
- 关键词：PETRI网可靠性故障定位
