基于分层TCPN的集装箱码头作业建模仿真研究

利用CPN TOOLs软件，对基本着色Petri进行赋时和分层的扩展，采用自上而下的方法，建立了集装箱码头作业系统的分层Petri网模型，其子网为赋时着色Petri网．基于实例，在集装箱码头作业系统的分层Petri网模型上进行仿真，根据前沿和堆场设备以及水平输送车辆的利用情况，分析了码头作业系统的瓶颈。     

基于赋时可重构Petri网的可重构制造系统调度算法

根据赋时可重构Petri网的可重构制造系统调度算法和赋时可重构Petri网的跃迁激发顺序，生成并求解部分可及图，以获得优化或准优化的调度．该算法能以较低的计算成本获得可重构制造系统最小的最大完成时间．用一个调度算例验证了该调度算法的可行性．     

基于Petri网的测试用例生成研究进展

在软件测试中,测试用例生成是其关键环节,也对实现软件测试的自动化有着重要影响。基于Petri网的测试用例生成方法是通过对被测试对象进行建模,由模型产生测试序列,进而生成测试用例。分析了目前基于Petri网生成测试用例的研究现状并指出了在存在的问题。     

基于CPN高铁临时限速数据融合方案验证

高速铁路列控系统中C3单元和C2单元相对独立控车,两套系统中的列控数据在系统层之间缺乏共享和约束机制.本文在分析系统结构和数据传输特性的基础上,提出一种基于数据融合,提升高速铁路临时限速安全性的方案,并利用有色Petri网（CPN）对融合方案进行建模.通过仿真软件分层和赋时功能构造系统顶层模型、临时限速生成子模型、故障子模型、融合子模型和时间序列,模拟临时限速信息传输过程中的系统状态和行为.仿真结果表明：在故障注入情况下,数据融合方案在一定程度降低了错误数据的输出,提高了系统的安全性.     

基于赋时着色Petri网的木材柔性加工系统的建模与重构

以Petri网为建模工具,针对木材柔性加工系统（Wood Flexible Manufacturing System,WFMS）中的离散事件建立赋时着色Petfi网（Timed Colored Petfi—net,TCPN）模型．该模型不仅可以反映木材柔性加工系统中待加工产品的工艺加工路线,对系统的特性进行描述,还能够根据生产任务的变化进行快速重构．应用软件对该模型进行仿真,结果表明该模型是有效的．根据仿真结果,对系统进行简单的优化调度,提高了机床的利用率．     

基于混杂CPN模型的交叉口交通系统仿真

提出了一种混杂着色Petri网建模实例,通过着色对交通系统对象分类,引入赋时机制增强了实时性能,通过首创的内外两层Petri网连接路口交通的离散和连续事件.最后在该CPN模型的基础上,给出了一种优化路口实时信号控制的策略.     

基于功能-工艺法的控制策略设计过程生成

给出了用功能-工艺法生成控制过程设计的具体实现方法．用工作流Petri网作为控制策略设计过程的知识表示形式，用基于可达图搜索技术生成工艺方案．以滑模变结构控制策略的设计过程生成为例验证了所提方法的有效性．     

基于赋时着色Petri网的木材柔性加工系统的建模与重构

以Petri网为建模工具,针对木材柔性加工系统(Wood Flexible Manufacturing System,WFMS)中的离散事件建立赋时着色Petri网(Timed Colored Petri-net,TCPN)模型.该模型不仅可以反映木材柔性加工系统中待加工产品的工艺加工路线,对系统的特性进行描述,还能够根据生产任务的变化进行快速重构.应用软件对该模型进行仿真,结果表明该模型是有效的.根据仿真结果,对系统进行简单的优化调度,提高了机床的利用率.     

基于EHPN的A-SMGCS机场滑行道运行控制建模

针对先进机场场面引导与控制系统(A-SMGCS)中滑行道运行控制建模,提出一种基于扩展层次Petri网(EHPN)的建模方法。将滑行道分为交叉口和直线段模块,然后对模块内部的航空器行为进行封装,形成基于扩展Petri网的过程层通用模块,并进一步采用同步合成技术建立过程层模型。利用面向Agent的着色赋时Petri网建立决策层通用模块,同时将场面运行控制知识与模块的库所和变迁集成,增强模型的智能决策能力。采用某机场12h滑行道运行数据进行了仿真试验。研究结果表明:基于EHPN模型的仿真,其直线段和交叉口冲突次数分别为6次和11次,滑行道系统总延误为346s,与SIMMOD仿真模型效果相近,因此,该建模方法有效。     

生产技术准备过程的时间Petri网模型及其推理方法研究

从Petri选择网模型的概念入手,分析了时间Petri网(TPN)模型的特点,研究了时间Petri网中顺序模型、并行模型、模型和循环模型等的推理方法.应用该方法建立了生产技术准备过程的时间Petri网模型,得出了基于时间Petri网的工作流模型复合线性推理方法,并采用一个具体的实例说明该方法的应用.