一种层次化CPN模型及其在给排水系统中的应用

先分别介绍了Petri网和面向对象技术,提出将高级Petri网和面向对象技术相结合构成层次化的面向对象有色Petri网（HOCPN）模型。该模型综合了面向对象技术和Petri网的优势,实现了对较为复杂网络的建模,从而可以进一步地实现对复杂网络进行验证。最后,将该建模方法在给排水系统中进行实际应用。     

Applying a semantic information Petri Net modeling method to AUV systems design

This paper informally introduces colored object-oriented Petri Nets(COOPN) with the application of the AUV system. According to the characteristic of the AUV system's running environment,the object-oriented method is used in this paper not only to dispart system modules but also construct the refined running model of AUV system,then the colored Petri Net method is used to establish hierarchically detailed model in order to get the performance analyzing information of the system. After analyzing the model implementation,the errors of architecture designing and function realization can be found. If the errors can be modified on time,the experiment time in the pool can be reduced and the cost can be saved.     

基于Petri网的模块化生产系统建模

针对模块化生产系统是一种结构组成多样,事件触发频繁,控制对象多,控制信息量大,系统结构复杂的典型的离散型动态系统,基于Petri网对模块化生产系统总体工艺路线进行建模,验证了所设计的总体工艺路线的可行性.同时提出了一种直接利用Petri网编写PLC程序的方法.     

����Petri���ij�վ�ɵ����䷽��ƿ��ʶ��

已有的求解股道分配问题的方法很少探讨强壮性,得到的股道分配方案中会有一些瓶颈. 要对这些瓶颈进行局部优化,就需要一定的方法来探测这些瓶颈. 本文首先利用Petri网技术将一个股道分配方案转换成可执行的动态模型,然后对每一项列车作业进行扰动分析,并利用全部列车的出发晚点时间来识别瓶颈. 最后,对一个衔接6个方向的车站平面图和一个持续时间约30分钟的股道分配方案进行分析,结果发现最小缓冲时间为21秒;方案中存在两处瓶颈,缓冲时间分别为57秒和44秒,这表明最小缓冲时间所对应的列车作业区域不一定是方案的瓶颈. 这种方法为强壮性优化以及多方案比选提供了技术支持.     

分层递阶智能控制任务转换模型的研究现状

分析了分层递阶智能控制任务转换模型的研究现状，较为详细地讨论了国际上在这一领域的最新研究成果－Ｐｅｔｒｉ网任务转换模型。     

公路施工仿真模型自适应算法研究

针对公路施工过程周期长、参与主体多、施工方法多变等特点,提出在公路施工中进行全过程仿真的应用需求,全过程仿真的核心内容便是模型的自适应算法.在Petri网的数学分析方法基础上,使用数学分析的方法建立了模型输出和参数之间的关系,推导出模型生产率的表达式、变迁相关度的定义和计算公式以及模型时间参数调整的公式,最后给出了自适应算法流程.     

结点水准网平差及精度评定的统计功能实现

指出结点水准网等权替代法进行平差计算的理论依据为序贯平差，在分析结点水准网序贯平差特点的基础上，给出了其逐次平差和精度评定的实现步骤。剖析了计算器中固化统计功能程序的实质，扩展了其应用范围，给出了在实数权情况下各统计功能的含义，结点水准网平差统计功能实现的方法，并通过算例进行了验证。     

基于有色Petri网的CTCS-3级列控系统RBC切换的建模与形式化分析

在CTCS-3级列控系统中,车载设备在执行RBC切换过程中所用时间的长短和切换成功概率的大小,严重影响着列车的运行效率。本文利用有色Petri网对车载设备进行RBC切换的两种方式分别建模,模型中引入GSM-R故障模型和非周期消息模型,模拟在GSM-R网络中消息的传输过程和重发机制。研究结果表明:基于两部车载电台的RBC切换方式比基于一部车载电台的RBC切换方式所用时间更少,效率更高。列车速度、消息重发时间间隔都会影响列车执行RBC切换的时间。消息重发时间间隔和RBC重叠范围又会影响车载设备进行RBC切换的成功概率。     

实时自适应交通信号控制CPN建模分析

以单路口交通控制为研究时象,指出了传统单路口控制策略中存在的一些缺陷,提出一种优化的交通信号控制策略:实时自适应控制。按照该策略,采用非固定相序控制方案,并提出了相应相位持续时间的具体算法。然后,建立了实时自适应策略的着色Petri网(CPN)模型,对CPN模型进行静态结构分析和动态仿真分析,检验并确认所提出的策略和算法的可行性;最后,通过建立交通信号控制的评价指标来对该策略进行评价。仿真结果表明,与固定相序、固定相位持续时间的策略相比,该实时自适应控制策略对单一十字路口实现了更为有效和优化的控制。     

基于Petri网技术的牵引供电系统故障诊断方法

介绍一种基于Petri网的牵引供电系统故障诊断方法,可用于检测节点是否发生故障和判断信号是否准确.给出了应用实例.与传统方法相比,该方法提高了效率和准确性,更适台于在线检测.