着色Petri网在性能评价中的应用

着色Petri网作为一种高级Petri网,引入了时间,颜色集,层次结构等概念,并与编程语言相结合,使之更适合对大型复杂系统的建模与分析,具有更强的数据处理能力。利用CPN Tools为模型加入多个数据监控器（Monitor）,得到多种相应的性能分析结果,从而使得对系统性能的分析更加精确,同时实现了对系统行为仿真和对系统行为监控的完全分离,解决了通过马尔科夫过程求解进行性能分析得局限性的问题。     

基于对象Petri网的列车运行模型及仿真

用带有对象的Petri网对列车群运行进行建模，具有规模小、灵活、直观、模块性好、可操作性良好，属性描述方便，有利于不确定性问题的处理等优点；仿真实验验证了面向对象和Petri网的结合既可以克服面向对象方法缺少模型分析，验证手段的缺点，又可以克服Petri网在系统描述上的不足，文章描述了仿真系统的总体结构，主要数据结构和仿真策略，由于设计中采用了Petri网模型，路网数据，运行图相分离的原则，使系统具有良好的普适性和扩充性。     

基于随机赋时Petri网的车辆交通系统建模与仿真

针对普通道口的车辆交通系统,将各道口描述为资源库所,车辆到达（离开）道口的事件描述为发生时间间隔服从泊松分布的赋时变迁,从而建立了该系统的随机赋时Petri网模型,并根据该模型开发了VB仿真系统平台,仿真实验显示该系统能够模拟道路口的车流动态过程,可以为交通调度算法提供了实验平台。     

基于通信的列车控制系统的有色Petri网模型的研究

基于通信的列车控制系统是我国铁路信号技术发展的一个重要方向，在分析了基于通信的列车控制系统结构的基础上，采用有色Petri网方法对该系统进行建模仿真研究。有色Petri网是一种以图形形式描述系统结构、功能的建模分析方法，特别适合大型异步并发系统的建模与仿真。为了使模型简洁清楚，提出了分整体层、处理层和功能层三部分建立相应的系统有色Petri网图的分析方法，并用CPN／Tools工具软件进行实现。通过建立一个基于通信的列车控制系统的有色Petri网模型，为最终开发出该系统的软件仿真平台奠定了良好的基础。     

基于面向对象着色Petri网FMS仿真软件

基于面向对象着色Ｐｅｔｒｉ网模型,利用计算机仿真技术,开发了ＦＭＳ仿真软件。本文着重介绍软件的五大功能模块及其实现,并给出了仿真实例及结果     

一种基于着色赋时Petri网的Web服务组合建模方法

为了满足日益复杂的Web服务需求,提出了一种扩展的petri网模型,即着色赋时Petri网模型。该模型通过引入时间集合来表示Web服务的触发及运行时间,通过引入颜色集合来区别不同种类的Web服务,使得对Web服务组合的描述更为准确。针对该模型还详细给出了该组合模型的基本运算规则及图形表示。     

列车运行图质量的模糊综合评判

列车运行图质量的模糊综合评判田长海（北京铁道部科学研究院运输所，北京１０００８１）ＦｕｚｚｙＳｙｎｔｈｅｔｉｃａｌＥｖａｌｕａｔｏｎｏｎｔｈｅＲａｉｌｗａｙＴｒａｉｎＳｃｈｅｄｕｌｅＴｉａｎＣｈａｎｇｈａｉ（ＴｒａｎｓｐｏｒｔａｔｉｏｎＩｎｓｔｉｔｕ...     

AUML与PETRI网结合使用的研究

统一建模型语言(UML)已经成为软件系统的分析与设计的标准工具,但由它扩充而成的代理统一建模型语言(AUML)还没变成一个标准,目前的AUML规格说明还有很多的局限性,还不能胜任多代理系统的开发.Petri网是仿真、验证软件系统执行的正确性与有效性的形式化工具.本文主要分析当前AUML规格说明和Petri网概念,找出它们之间的结合点,提出用Petri网扩充AUML的方法.将其应用于多代理系统的开发,就能实施之前运用Petri网进行系统的正确性与有效性验证.     

施工截流运输系统的赋时Petri网模型及其仿真实现

运输系统的规划直接影响施工进度的实现和工程建设的成败。本文利用Petri网适合于描述系统组织、结构和状态的变化及面向对象仿真技术易于构造相互作用的现实系统模型的特点，建立了赋时Petri网的三峡三期截流施工运输系统模型，并将面向对象技术溶入Petri网。运用仿真模型及方法优选施工机械设备的配置，较好地反映了施工系统状态的动态变化情况。计算与分析结果表明该仿真模型及方法是有效的、可行的。     

基于有色赋时Petri网的半导体生产线建模技术研究

在深入了解半导体制造过程的基础上,为了有效分析半导体生产线调度与控制性能,提出了有色赋时Petri网的半导体生产线建模方法。该模型,根据生产线所存在主要调度子问题及其之间的相互关系,将半导体生产线划分为投料控制模块、路径调度模块和工件调度模块,这样可以有效降低模型的复杂性和提高模型的可重用性。建立以一个拥有3个工作中心、6台设备的半导体生产线Petri网模型,并对模型进行分析。最后指出了下一步的工作目标。     

基于代价时间Petri网的合同网模型研究

提出一种扩展了价格信息的时间Petri网--代价时间Petri网,并用代价时间Petri网来模拟合同网协商过程,建立虚拟企业的合同加工模型.在合同网协议框架内,利用代价时间Petri网为合同网协议的招标、投标和中标过程进行建模分析,给出了招标要求和Agent在投标和评标决策过程的代价时间Petri网模型,最后利用该模型对盟员企业内部制造过程以及相互之间的协作关系进行了形式化分析和验证.     

基于Petri网的航运业务流程的仿真优化

论文利用Petri网理论及相关的仿真软件,对航运业务流程进行了模拟优化分析。通过研究,得出的主要结论是：航运业务流程的优化对提高航运企业的管理效率和水平是十分重要的。在这方面,Petri网理论和相应的仿真软件（ExSpect）提供了一个非常有效的优化分析工具;航运业务流程作为物质流和信息流的紧密结合,其优化管理的关键在于引入信息技术,以提高业务信息传递和处理的效率。     

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

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

复线列车运行调度的层次Petri模型及仿真

在对列车运行调度问题进行分析的基础上,通过综合受控Petri网、颜色Petri网和赋时Petri网的优势,提出一种混合Petri网模型并给出形式化描述和运行规则;采用混合Petri网建立包含设备故障和设备维修两种异常情况的列车运行调度的层次Petri网模型。通过对模型的分析,给出模型具有的两个性质,指出列车运行调度的本质是通过控制可控事件的发生时间来恢复列车的正常运行秩序。最后,以一个具有6个车站和5个区间的调度区段为例,采用CPN TOOLS仿真工具对模型进行了仿真。仿真结果表明了模型的有效性以及设备故障发生概率和列车运行可调整之间的关系。     

基于Petri网的指挥控制流程仿真方法

作战指挥控制流程是影响军队作战效能的重要因素。从作战指挥控制流程的特点出发,分析了作战指挥控制流程的基本要素,提出了基于Petri网的作战指挥控制流程建模和仿真方法,建立了相应的点火规则和冲突分析算法,设计和开发了作战指挥控制流程仿真环境。通过对作战指挥控制流程的仿真,实现了对流程的定量化分析,为流程的优化和改进提供了决策支持。     

基于Petri网的战役机动铁路输送仿真

提出了战役机动铁路输送的Petri网模型，运用该模型建立了分布式仿真系统，模拟了战役机动索件下的大觌爿芙郎队铁路输送，实现了铁路中断、车站破坏等战场情况下的列车仿真运行。通过对仿真结果的分析，得出战役输送的总体评价，为作战运输指挥提供一定的依据。     

基于混合Petri网建模的纺织生产调度研究

针对纺织生产调度兼有连续性和离散性的特点,选择混合Petri网(HPN)作为建模工具,为其生产过程建立模型,将纺织生产的各加工工序使用统一的形式进行描述。在此模型基础上,根据满足交货期前提下的成本最低原则,综合考虑制造成本、拖期罚款和库存保管等因素,使用数学规划方法对纺织生产调度问题进行优化求解。最后使用纺织生产中的实际数据进行仿真,求得最优调度,验证了该方法的有效性。     

基于工序排队的RCC坝施工Petri网耦合模型仿真

在分析了碾压混凝土施工系统的特点基础上,针对碾压混凝土施工系统的复杂和动态离散特性,建立碾压混凝土施工工序排队网络和Petri网模型,将排队模型嵌入Petri网,为Petri网模型提供有效Token和时间约束,耦合生成施工过程的Petri网模型.该建模方法有效地克服了单一排队模型表达能力不足和单一Petri网仿真建模复杂性.通过工程实例验证了该建模方法大大简化Petri网建模过程,提高Petri网针对性和分析效率.     

基于作战单元的装备综合保障仿真评估研究

针对装备综合保障仿真评估中的三个方面的问题,提出了基于装备作战单元的建模方法,说明了针对装备作战单元建立综合保障仿真评估Petri网模型的方法,并给出了两个具体的仿真流程,说明了具体系统实现的方法。最后,以某装备作战单元为例,将获取的该装备的实际保障工作相关数据,按照所建立的仿真模型的输入要求输入仿真模型,根据模型输出数据,对仿真结果进行分析评估。

Abstract：

According to the three problems in simulation of ILS evaluation, the means of modeling, the method of building Petri net model of ILS simulation to the equipment basic combat unit, and the method of building the system were put forward. Taking an equipment as an example, input the actual support data to the simulation model constructed, and then the simulation result was analyzed. It proves that the model is correct and feasible.