首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
层次颜色Petri网是一类具有模型描述语言Standard ML、分层功能和图形化描述特性的高级Petri网,拥有仿真工具CPN Tools,是信息系统建模的有效工具,可方便描述信息系统中的控制流、数据流,全面刻画系统业务流程。在给出HCPN一种形式定义基础上,结合智慧校园中的校园一卡通Web信息系统,利用CPN Tools分层构建了该系统的HCPN模型,并对各子CPN系统进行图形化描述、协同运行仿真和分析,运用状态空间工具分析和验证了系统HCPN模型的正确性、可靠性和健壮性。  相似文献   

2.
教学质量评价是教师了解课堂教学情况、获得反馈信息、提高教学质量的有效途径之一.本文研究了高校教学质量评价的过程,利用着色Petri网对高校教学质量评价的过程进行建模与分析,并使用CPN Tools检测所建模型的合理性,实现对高校教学质量评价过程的验证.  相似文献   

3.
通过研究概率事件结构图的事件路径,提出了集成系统的关键事件路径分析方法.根据集成系统体系结构描述提取的规则,构造着色Petri网模型对应的概率事件结构图,并给出其循环事件路径、顺序事件路径和关键事件路径的定义.然后利用着色Petri网模型的仿真统计结果,采用灵敏度分析方法找出其关键事件路径.该方法强化了逻辑结构特性,可靠实用,是离散事件系统结构化分析的基础.最后以一个建模实例详细阐述了该方法的应用,结果适用可信.  相似文献   

4.
以分布、异构、多自治域的互联网环境为背景,提出利用有色Petri网对web服务组合进行建模的方法,给出了web服务组合网的形式化描述和常用结构的图形化表示方法。文中所引用的案例模型可以在CPN—tools中测试.有效的建模是模型分析验证和模型应用的基础。对电子商务和企业应用集成在解决web服务组合问题中具有一定的参考价值。  相似文献   

5.
民航业正处于数字化转型及协同运行机制建设时期,航空运输服务需求显著增加,优化运行工作流程、提高民航运行效率迫在眉睫。对数字化转型背景下民航机场联合运行管理委员会航班调时调减管理工作流程进行了总结,并基于Petri网系统的建模理论对工作流程进行仿真建模,通过分析仿真模型的性能,找出运行过程中容易出现瓶颈的环节,为民航抓住数字化转型机遇,优化运行工作流程提供决策依据。  相似文献   

6.
介绍Petri网的基本理论,利用它对某车间加工中心系统生产过程建立模型,反应整个系统的加工动态特性,用ARENA7.0语言进行仿真研究,分析系统资源配置的合理性、高效性,提出更实际、更完整、更复杂的制造自动化未统的建模与仿真要求。  相似文献   

7.
秦滔  江文  陈汉利 《现代教育技术》2006,16(2):51-53,44
本文分析了现有电子政务培训机制存在的问题,根据电子政务培训的特点,提出了一种符合电子政务教学活动特性和要求的、针对网络学习的学习流程控制模型,并详细论述了学习活动中各环节的相互协作关系,通过采用Petri网对其进行了动态建模。  相似文献   

8.
战争由于它的离散性和同步并发性,应用传统的仿真方法很难得到令人满意的结果,Petri网能够描述异(同)步并发现象,能直接明了的揭示时间之间的演化逻辑关系。本给出了Petri网的定义方法和Petri网的分析方法,对一个防空C^3I系统进行了系统建模,很好的解决了战争系统的仿真模型问题。  相似文献   

9.
舰艇指控系统的有色Petri网模型   总被引:1,自引:0,他引:1  
提出了一种包含外部环境成分的舰艇指控系统分析模型,它能真实的反映战场态势。用有色Petri网(CPN)的层次结构对该模型进行了描述,获得了舰艇指控系统的CPN模型。讨论了该CPN模型中一个子页一传感器子模型的建立、组成、与主页的关系及模型的运行过程,结果可用于舰艇指控系统组织结构的设计与性能分析。  相似文献   

10.
业务流程的建模是业务管理的核心内容之一,对业务流程进行建模优化分析变得更加重要。对于建模工具Petri网,其可达性是研究系统动态性质的基础,主要分析系统可能达到的状态和状态间的关系。针对具体的外卖流程,利用可达性树判断其合法引发序列和状态并结合活动间的交互关系对模型增加活动变迁和库所进行优化。  相似文献   

11.
为提高体检的效率和质量,对医院体检流程进行建模优化非常重要.文中建立了一种基于Petri网的体检流程建模优化模型.给出体检基本流程的Petri网原模型,探讨了该流程模型中存在的问题,然后结合互联网智慧医疗对原模型进行了建模优化分析,增加了体检智能导检和排队叫号系统,从体检效率、体检秩序和审查环节等方面对原模型进行了优化...  相似文献   

12.
Petri网模型是FMS动态仿真的有利工具。本文利用面向对象方法对FMS和有色赋时Petri网进行了描述,并根据最小下次事件时间推进原理,利用VisualC 建立了动态调度仿真系统。结果表明,面向对象方法具有表达直观和自然,可扩充性,实现容易和简便等优点。  相似文献   

13.
《实验技术与管理》2014,(12):155-158
目前高校开设的Petri网相关课程通常只关注Petri网基本概念和理论的讲解。哈尔滨工业大学开设的研究生课程"Petri网系统建模与仿真"则将课堂教学与实验教学密切结合、将理论学习与工程项目密切结合,从内容和方法两方面对该课程的实验教学进行了探讨,并提出了建议及应对问题的方法和措施。  相似文献   

14.
针对轴承企业适应MTO生产发展的现实需要,在分析轴承生产工艺实施的基础上,设计了基于业务协同的数据、服务和协同的三层系统模型,并引入Petri网对工艺管理进行模拟,基于着色Petri网对工艺设计流程进行实例化模型构造,并最终开发了工艺管理信息化系统,实现了从设计、工艺到制造、从PDM到ERP的系统集成。  相似文献   

15.
Petri网可以图形化复杂系统行为,本研究基于Petri网的基础理论,对急诊流程模型进行优化,以达到紧急状态下快速收治病人的目的.首先给出急诊流程的Petri网模型,通过实际急诊过程中出现的问题增加相应的库所变迁结构,利用交叉序关系、排他序关系进行优化,使急诊流程更加高效,验证了流程优化模型的有效性.  相似文献   

16.
针对传统交叉口交通系统分析方法的不足,构建了一个广义随机Petri网的城市十字路口交通系统模型。该模型描述了城市交通的动态性和随机性,并依据仿真过程中的有关信息进行性能分析,以仿真结果论证了公交优先策略的合理性,提出使用Petri网作为模拟设计交叉口信号控制系统,改进高峰时段公交车通行率,解决了动态研究分析系统指标求解繁琐的问题,对城市交通管理、建设规划及发展提供了一定的理论参考。  相似文献   

17.
业务管理的核心内容之一是业务流程的建模,业务流程的建模优化分析因此变得十分重要.本文针对网购流程中的支付方式,结合实际情况以及流程模型之间的交互关系,利用Petri网的可达性与行为轮廓进行建模分析,为了打破网购支付过程中只能实现一种支付方式的局限,通过增加相关的控制结构对其进行优化.最后通过运用实际举例分析了此种方法的有效性.  相似文献   

18.
工作流是一种反映计算机化的模型,它是为了在先进计算机环境支持下实现业务过程集成与业务过程自动化而建立的可由工作流管理系统执行的业务系统。本文对工作流参考模型以及流程模式和建模工具Petri网进行了探讨,并通过workflow实例对其分析,结果表明基于流程模式的工作流技术的工作流管理系统具有灵活性、可扩展性等优点。  相似文献   

19.
给出了任意流网络及其残留网络Petri网模型的构造流程;通过对模型中各元素的实际意义进行分析,指出如何得到最大流的各个分布;从理论上证明达到最大流的条件并给出通过活性分析可以得到一个最小割的结论;将残留网络和流网络Petri网模型结合起来给出最大流-最小割问题完整的解决方案。Petri网图形化的仿真过程为研究网络流从局部到整体的变化提供了直观的描述。仿真结果证实该方法准确、有效。  相似文献   

20.
基于故障Petri网方法对惯性导航系统温控回路故障进行建模,并结合关联矩阵和状态方程对故障进行诊断推理,查找故障原因。实验证明,故障Petri网方法可以实时快速地对故障进行诊断,方法实用有效。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号