共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
针对软件模型的时间约束能力不强以及形式化验证复杂的问题,本文提出一种基于Petri网的形式化模型调度方法,从时间层次上对模型的合理性进行验证与分析.该方法通过构建系统领域模型到Petri网模型的转换规则,利用Petri网的分析验证技术,实现对软件模型的正确性验证,解决了系统建模时存在的问题.应用实例和实验结果验证了该方... 相似文献
3.
CPN(ColoredPetrinets)也称彩色Petri网或着色Petri网,是Petri网各种发展版本中较成熟一种,它完美的结合了Petri网的图元显示和程序语言的数据定义。正因为两方面的合理搭配,使CPN在许多领域的建模仿真工作中起到了不可替代的重要作用。1、CPN的历史Petri网最早发展是在六七十年代,很快它就被当作一种有效描述和分析并发过程中同步、联系和资源分配的语言。然而,在实际使用中Petri网存在两个严重的缺陷。首先,Petri网没有数据的概念,因为所有的数据控制必须转化为网上的结构(如位置或转移),故经常导致模型非常庞大;其次,Petri网没有… 相似文献
4.
传统的单机器人难以适应复杂的任务以及灵活多变的环境,因此多机器人的研究受到越来越多的关注.结合多线程技术为机器人编队建立Petri网模型,运用Petri网模型对系统各线程对共享区资源的独占性存取,线程之间同步协作进行模拟分析,提出机器人编队的多线程软件解决方案. 相似文献
5.
Petri网是一种有效的模型描述语言,不仅能描述系统的结构特性,同时还能描述其动态特性,尤其适用于描述含有并行成分的系统。本文在简要介绍了Petri网和工作流基本模式的基础上,利用替换规则用基本工作流模式构造了合理的Petri网模型,并对构造好的Petri网模型进行详细的分析,同时在分析的基础上提出了对应的优化方案。最后对基于Petri网的工作流模型进行了总结。 相似文献
6.
一种业务过程建模方法研究 总被引:1,自引:0,他引:1
根据业务过程的特征和要求,总结当前建模技术的不足之处,在经典Petri网和对象Petri网建模技术的基础上,提出了扩展对象Petri网建模方法,以提高模型的可重用性,降低建模过程的复杂度,加强对动态流程的描述能力,解决临界资源的共享问题。通过一个具体实例阐述了如何建立扩展对象Petri网模型,通过设计时间映射机制,控制资源的有效调度和流程的正常运行;引入有色令牌思想,提高模型对动态过程的描述能力;利用死锁检测机制,验证模型对流程描述的正确性和有效性。 相似文献
7.
8.
基于petri网的工作流模型具有结构简明、描述能力强的特点。本文针对校园一卡通圈存转账信息流程,建立了基于Petri网的流程模型,并利用关联矩阵对其性能进行分析研究,为模型的优化打下基础。 相似文献
9.
介绍了工作流建模标准和Petri网的相关概念,给出了Petri网中顺序、并行、选择、循环4种基本结构;从实际出发,对一个复杂的企业生产经营管理的业务流程进行层次化建模,在生产流程中采用Petri网工作流建模技术得到工作流网模型及其子模型。 相似文献
10.
11.
摘要:为了解决大规模分布式管理信息系统中的高速信息共享等问题,提出了基于对等结构的管理信息系统平台。给出了该系统平台的节点模型、管理策略及信息共享流程;提出了一种结合分布式哈希表和聚类的高速检索方法,保证了用户能够在分布式管理系统中快速的精确检索和分类检索;实现了系统的用户透明;为了保证分布式管理信息系统中的分布式多副本同步,提出了“对等锁”作为数据一致性维护方法。同时,给出了平台的具体实现方法,并给出了实例;实验结果表明,该平台具有良好的信息共享性能、高效的搜索能力和相当的容错能力。 相似文献
12.
政府决策支持系统是政府直接为企业和公众提供服务的一个平台,也是政府实现科学管理和整合业务流程的关键,是电子政务的重要组成部分。Petri网作为一种系统分析和建模工具,特别适合于描述并发和分布式系统。利用Petri网技术构建政府决策支持系统,能够有效地分析系统设计的静态结构和动态特性,提高系统开发效率。本文提出了基于Petri网技术的政府决策支持系统设计模型,分析了系统结构和工作过程,模型自适应性和鲁棒性好。 相似文献
13.
在“以用户为中心”的认识下,分析了数字图书馆的服务流程,设计了系统的Petri网模型,并利用Petri网的原理对数字图书馆过程控制进行了研究。 相似文献
14.
Petri网具有形象直观的图形描述和严格的数学定义,能描述异步、并发的系统模型.OO技术采用模块化设计思想和自底向上的设计方法,便于模型地设计和维护,有大事化小之功效.针对Petri网建模过程的结构复杂性,本文结合OO技术和Petri网实现了对一小型运货系统的建模,该方法较传统的Petri网建模更加灵活、高效. 相似文献
15.
文章提出了用Petri网对网格服务进行建模,包括服务的行为的建模和服务性能的建模。在建模之后服务的使用和管理可以通过Petri网强大的表达能力和分析能力来进行。 相似文献
16.
17.
基于Petri网的协同工作流描述方法及建模 总被引:2,自引:0,他引:2
工作流技术作为实现企业协同的有效手段,广泛应用于各种场合,应用中的关键是建立适合企业过程的协同工作流模型.Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示.文章主要介绍了Petri网和协同工作流模型的理论,以及基于Petri网的工作流建模方法,并给出了设计实例. 相似文献
18.
基于Petri网的建模方式是一种集图形化和数学化于一身的建模工具,己被广泛应用于各个领域中。以学校档案管理系统为背景,所做的工作主要集中在如何将时间Petri网技术运用在教育档案管理工作流系统的建模中。结合学校档案管理工作流的实际应用环境,提出基于时间Petri网的档案管理系统工作流模型,并利用可达树分析方法,对其进行时序分析,用具体数据分析了档案管理工作流模型的性能。 相似文献
19.
针对飞机温控系统的故障复杂性,提出了一种基于功能的以模糊Petri网为推理算法的故障诊断方法。首先根据系统分析,推导出子系统和系统功能参数,建立了描述功能层次关系的功能模型,提高了故障诊断的直观性和有效性;然后利用模糊Petri网的快速和并行推理能力,建立了反映功能模型的故障诊断模型,定位故障功能组件,提高了诊断的快速性和精确性;最后通过实例验证了该方法的有效性。 相似文献
20.
合理的应急实施流程对于有效应对突发事件至关重要。在知识元理论与Petri网方法的基础上提出了一种突发事件应急实施流程的优化方法。首先,借鉴共性知识模型,形式化表示活动基元及其内部联系,建立活动基元模型。随后,找到活动基元模型与有色Petri网的映射关系,并使用有色Petri网方法实现活动基元模型以及活动基元间的基本路由关系。在此基础上,结合知识元原理和Petri网方法,提出突发事件应急实施流程的五步优化方法。最后,以化学危险品事故为例说明该优化方法的使用过程。 相似文献