共查询到13条相似文献,搜索用时 187 毫秒
1.
2.
3.
针对目前协同设计中业务过程描述能力不足和柔性差等问题,从并发性、可伸缩性和协同性等五方面进
行分析,提出了一种在空间上三维分布的Petri网建模方法. 将组合、颜色和定时约束Petri网引入协同设计的流
程建模之中,设计了协同设计下云工作流业务流程的HPN(hybrid Petri net)模型;运用随机Petri网的思想对协
同设计各流程流转、工作效率等进行分析,详细分析了其性能指标,验证了模型的可达性,并从业务冲突及模型分
解等方面提出了优化. 相似文献
4.
大型混杂系统的复杂性使建模与行为分析面临巨大挑战. 为此,提出一种基于赋时层次着色Petri 网的建模方法,以离散事件驱动为主线,将连续部分模型通过扩展变迁嵌入到离散模型中. 离散部分和连续部分分别利用各自领域里的专业工具建模,通过通信接口交互实现混杂交互仿真,同时保证整个系统的数据一致性和时间同步性. 在进行混杂系统行为分析时,根据Petri 网的结构化分析方法得到混杂系统的不同行为模式,针对各模式进行多属性仿真分析. 最后通过一个导弹防御系统的例子说明该建模分析方法的可行性. 相似文献
5.
6.
随着工作流的发展,工作流建模技术已经成为了一个重要的课题.介绍了面向角色的建模方法,以及建模仿真平台Ptolemy Ⅱ,利用该平台的面向角色的建模思想,采用层次异构的思想组合各类组件来实现工作流建模仿真工作.同时对实际工作流模型案例进行了分析,采用面向角色的建模思想,在Ptolemy Ⅱ平台上完成了建模设计,仿真结果与模型中的计算结果进行了对比,得出二者的结果基本一致,解决了工作流仿真中遇到的并发性问题. 相似文献
7.
8.
工作流执行过程中经常会出现非正常终止的情况,对此,将事前分析方法应用于工作流过程模型的验证中,即在工作流过程实例化前进行模型的有效性分析和结构正确性验证。该方法对传统的有向网络图进行扩展并以此来描述工作流过程,确定模型的有效性;进一步将扩展有向网络图转换成工作流网模型,应用Petri网技术分析该模型的冲突结构,以确保工作流过程的逻辑合理性。 相似文献
9.
10.
用关联矩阵特征值分析Petri网模型结构 总被引:2,自引:0,他引:2
通过计算由关联矩阵变换所得特殊方阵的特征值来分析Petri网模型某些重要的结构特性. 根据自由选择网、自由连接网与非自由选择网、非自由连接网关联矩阵的区别,分别用不同的方法将它们变换为同一类方阵,并用此类矩阵理论给出Petri网模型的结构有界性、守恒性、可重复性、协调性的充分条件及相关证明. 采用一个雷达工作过程建模实例详细阐述了该结构理论在实际Petri网模型分析中的应用,为关联矩阵在Petri网模型结构分析中的应用提供了一个可选择的方法. 相似文献
11.
Petri网是一种重要的形式化建模工具,有界性是Petri网的重要性质之一.该文关注于这一性质并提出了一种新的无需存储全部状态空间的算法以求解Petri网库所界,主要思想为在生成状态空间过程中,通过引导消除可达图的部分回路同时结合T不变量的相关性质,以实现通过存储部分状态来精确求解每个库所的界.基于模型检测比赛的公开数据集进行了对比实验,通过对求解库所界的不同方法及其实验结果进行比较分析,说明了本文算法的有效性. 相似文献
12.
互联网和社会网络中的信息交互传播模型 总被引:1,自引:0,他引:1
WS或BA等复杂网络模型可描述各类真实系统的拓扑规律和复杂性。而Petri网在处理系统内部通信和控制方面则具有特殊的优越性.本文结合广义随机Petri网和BA模型构造了一个可描述信息在互联网和社会系统中交互传播的复杂网络模型. 相似文献
13.
Petri网:概念、分析方法和应用 总被引:9,自引:0,他引:9
Petri网以图形化的方式直观地描述了离散事件系统的各种关系和行为,且以网络理论和代数理论等作为数学基础,可方便地分析离散事件系统的各种特性.更由于其形式化的描述方法,能够直接由模型转化为代码实现对系统的控制.因此在计算机系统的建模、分析和控制综合中得到广泛应用.本文介绍了 Petri网的基本概念、特点、分析方法及其应用. 相似文献