基于CPN仿真的排队系统建模及性能分析

排队网络模型是一种经典的性能分析模型,提出按照队列的输入过程、排队规则和服务机构三要素,将排队系统转换为层次颜色Petri网模型的建模规则,利用CPN Tools 工具在模型中加入monitor监视器监视模型运行情况,使用Data Collector采集相关数据,进行队列模型的相关指标的性能分析和评价工作,最后给出基于仿真的建模与分析方法的一般操作步骤.这种建模和分析方法不需要对系统作任何的假设和限定,可以对模型的任何方面进行性能分析,扩展了传统排队系统的研究范围,具有很强的灵活性;一些扩展排队网络的建模和分析,如考虑服务台损坏和维修时间的扩展模型,只需对基础的排队网络稍加修改即可完成建模和性能分析,提高了模型的复用性;层次化的建模方法克服了基本Petri网组合状态爆炸的缺点,可以用于大规模的复杂排队系统.     

基于ExSpect的排队系统建模与仿真

随着petri网理论与应用研究的不断发展,petri网已经成为排队系统建模和仿真的有力工具。介绍了基于petri网的可执行的规格说明语言Exspect及其软件,提出了基于Exspect的排队系统建模的方法,并进行了实例研究。     

基于Petri网的物流自动化系统建模与仿真研究

本文简要地介绍了物流自动化系统的研究状况,基于Petri网理论,对烟草行业的卷接包车间的AGVS进行了分析,并对该系统构造了一Petri网模型,并进行了仿真研究,仿真结果表明该模型是合理且高效的。     

生产系统Petri网建模与仿真的优化方法

对基本Perti网进行了扩充,包括有色扩展、时间扩展、层次扩展、工作流变量扩展和逻辑变迁的扩展,使之能够对流程活动的核心属性做出描述,从活动的水平和流程结构的角度对系统的性能进行深入研究,并提高现有模型的可重用性。在此基础上,提出了优化的着色赋时Perti网模型,使之能够支持制造企业生产系统流程再造,并提出了一种建立在层次化、模块化和标准化基础上的生产系统建模和仿真方法。这种方法可以将实际系统细化为多个层次的模型,并将生产系统局部作更详细的分析,从而避免了分析整个系统的复杂性。而且,可以通过调整模块和修改模块构造新系统,从而实现生产系统再设计的快速化和柔性化。     

面向对象Petri网建模与仿真的可视化环境

主要介绍用面向对象方法开发的Ｐｅｔｒｉ网建模和仿真可视化环境ＰＮＳＥ（Ｐｅｔｒｉ Ｎｅｔ Ｓｉｍｕｌａ－ｔｉｏｎ Ｅｎｖｉｒｏｎｍｅｎｔ）。通过对一个实例的建模和仿真，说明了Ｐｅｔｒｉ网建模与仿真的可视化表示方法。     

引用网建模工具Renew的性能评估扩展

利用引用网建模工具Renew的赋时属性和库所事件响应机制对其进行了性能评估扩展。引入赋时托肯的可观察性和监视点概念,增加了与性能评估相关的语义和管理功能,包括策略化触发选择,基于XML的任务管理,统计变量和性能报告以及模拟器用户接口等。对Renew系统性能建模的设计模式进行了讨论,应用扩展后的Renew对多线程服务器进行了性能评估实例研究。     

组件化的变结构Petri网建模仿真方法

Petri网模型建立后,其结构相对固定,不易描述实际系统结构的动态变化。借鉴软件组件的设计思想,提出了组件化的变结构Petri网的描述规范、组合机制和仿真方法,实现了仿真运行中Petri网结构的动态变化。该方法增强了Petri网模型的重用性,支持层次化建模,便于实现与其他模型的集成,提高了Petri网的建模仿真能力。     

基于混合Petri网的图形建模仿真系统

将VC＋＋的面向对象思想引入混合Petri网建模、仿真技术的研究和开发，给出了面向对象的混合Petri网软件结构，研究了Petri网的创建方法，讨论了Petri网的系统维护以及Petrl网的存储结构等关键问题。在此基础上，设计了基于图形界面的混合Petri网建模仿真软件。对于具体实例，给出了该软件以人机交互方式建立、编辑、分析混合Petri网模型的过程。     

基于DSPN的浮标布阵系统建模与仿真

浮标布阵系统是航空电子系统中典型的实时嵌入式系统,系统性能评价是其发展的重要理论基础和支撑技术。以浮标布阵系统为应用背景,研究了航空电子系统原理和特点,并对航空电子系统周期性消息进行了研究。给出了一套完整的基于确定与随机Petri网的性能评价模型。通过对模型的仿真,得到了系统的性能指标总线利用率随系统运行时间变化的规律,通过对性能曲线分析,可对航空电子系统的设计和完善提供重要的理论依据。     

基于ASP的复杂供应链系统的混合建模与仿真实现

Agent建模、系统动力学（System Dynamics,SD）建模和Petri网建模单独应用于供应链系统或企业系统建模都存在一定局限性。根据供应链和核心企业系统的特点以及上述三种建模方法的特点,提出基于ASP（Agent-SD-Petri net）的核心企业及其供应链系统的混合动态仿真模型,重点讨论准时制生产方式下核心企业的生产模型和库存模型,可供供应链各实体间以及核心企业系统内部各部门间的相互作用及其耦合的分析;解决JADE软件环境下系统集成仿真的关键技术,验证核心企业及其供应链系统混合动态建模的可行性。     

随机Petri网仿真分析方法的研究

本文主要讨论的是用计算机仿真技术作为随机Ｐｅｔｒｉ网分析工具的新方法，介绍了用ＧＰＳＳ程序块来仿真一个随机Ｐｅｔｒｉ网的模型。并给出了用这种方法分析通信模型的实例。     

装备战场抢修的任意随机Petri网建模及仿真

基于任意分布随机Petri网（ASPN）,建立了装备战场抢修系统的ASPN模型。利用ARENA通用仿真平台,对装备战场抢修系统的ASPN模型进行仿真,得出了一些有价值的结论。仿真的结果与实际情况吻合,充分验证了模型的正确性。仿真的结论可为装备战场抢修的决策阶层提供决策支持,对提高我军装备维修保障能力,实现经济型维修保障,具有重要的意义。     

具有紧急消息的航电总线Petri网建模与性能分析

在航空电子综合化系统的设计过程中，总线系统的性能指标与整个航电系统的总体指标有着密切的关系。给出了一套完整的基于确定与随机Petri网的综合航电总线系统的性能评价的模型和算法。通过对总线系统的确定与随机Petri网模型的求解，给出了具有紧急消息的总线系统的两个重要性能指标总线负载、延迟时间，通过对性能曲线的分析，可以为综合航电系统的设计和完善提供重要的理论依据。     

在学习和应用Petri网中值得注意的几个问题

根据多年的工作经历,作者对Petri网学习和应用中的一些问题进行了探讨,并简要介绍了Petri网教材。     

直升机飞行性能仿真与评估方法研究

着重研究通过仿真的方法进行直升机飞行性能评估，以实现直升机基于状态的维修。首先基于涡轮轴发动机数学模型进行了飞行性能仿真；然后对性能仿真结果进行评估，并进一步对直升机将来的性能作出预测；最后介绍了基于前述方法开发的软件系统及其运行实例。     

基于CPN的可信路由器发现协议建模与仿真分析

为了保证终端设备能够可信高效地通过接入路由器访问互联网,提出一种可信路由器发现协议,实现安全、高效的接入路由器身份认证过程,并基于着色Petri网(Colored Petri Nets,CPNs)为该协议建立关联的功能验证模型和性能分析模型,有效集成协议的安全性验证与性能分析过程,以确认该协议在保证安全能力的基础上可以有效提升接入路由器身份认证过程的性能。基于着色Petri网的安全性验证与性能评价集成分析方法为安全类协议的性能改进分析提供了一种更加便捷、有效的协议仿真分析方法。     

关节化虚拟人手臂动作的建模及其仿真实现

关节化虚拟人在执行维修作业过程中，不可避免的需要用手臂去操控各种操作对象，为此提出了一种基于Petri网的关节化虚拟人手臂动作模型。模型首先利用逆向运动学方法计算出在目标位姿下的关节链上各关节的角度，进而利用关节插值方法，以仿真循环迭代的方式实现对手臂关节链上各个关节的运动控制。仿真和实验结果验证了所提方法的可行性与实用性。     

通信系统性能仿真评估算法的研究

建模与仿真技术的应用为解决复杂大系统的性能评估提供了一种有效的技术手段。本文主要侧重于对仿真结果的评估,提出了以云模型为基础的系统性能评估算法。该评估算法用云理论实现定性属性值和定量属性值之间的转换。该评估算法以不确定性为出发点,在理论上借鉴了层次分析法的某些处理手段,可以较好地处理指标体系中广泛存在的泛层次树形结构现象,使评估结果更加可信。实践表明,该方法对于复杂系统的综合评价更为方便、可行。