基于Petri网的临床路径诊治系统仿真

提出了基于Petri网的临床路径诊治信息系统的开发方法和功能要求，设计了基于Petri网的临床路径诊治信息系统模型CPN．通过对CPN模型优化与可靠性论证，准确定义了临床诊治行为的控制过程，有效地解决了临床路径的特殊问题，最后通过系统的正常运行验证了设计模型的准确性．     

基于Petri网的高速铁路综合维修作业调度系统的研究

综合维修是高速铁路维修模式的发展方向。高速铁路综合维修作业调度系统基于Petri网建模,通过分析工作流网的活性和有界性,验证了建模的可靠性,提出建模的实现算法,给出综合维修作业调度系统总体结构设计。实际测试表明,系统符合高速铁路综合维修的需求。     

CTCS-3级列控系统RBC切换过程分析

RBC根据轨道电路、联锁进路等信息生成行车许可,通过GSM-R无线通信系统传输给车载设备。受单套RBC控制能力限制,在相邻RBC控制范围的边界处必须实现对列车控制权的安全可靠切换。分别对车载设备采用2部或1部车载电台时的RBC切换过程进行了深入分析,并在详细分析RBC切换过程的基础上,用着色Petri网的支持工具CPNTools对该过程进行了形式化建模,对所建立的模型进行了仿真,对用自然语言描述的RBC切换过程进行了形式化表示和验证。     

基于随机Petri网的GSM-R双层网络建模与性能分析

利用随机Petri网,综合信道降质、链路中断、越区切换、灾害等因素,建立GSM-R的同站址网络与交织站址网络的故障模型,针对同站址与交织站址两种不同的网络结构,给出利用马尔可夫链求解可靠性与可用性的方法。通过马尔可夫链的有关概率分别计算:不同网络结构的可靠性;不同列车运行速度对应不同网络结构的可用性。分析计算结果表明:同站址网络的可靠性与可用性远高于交织站址网络,主要原因是同站址网络中一层基站业务中断时不会导致系统失效,交织站址网络中一层基站业务中断时,并联的另一层相邻两个基站均可以提供业务才不会导致系统失效。另外,同站址网络中越区切换速率较小,有效减小了列车越区切换对可靠性与可用性的影响。     

Coloured Petri net-based traffic collision avoidance system encounter model for the analysis of potential induced collisions

The Traffic Alert and Collision Avoidance System (TCAS) is a world-wide accepted last-resort means of reducing the probability and frequency of mid-air collisions between aircraft. Unfortunately, it is widely known that in congested airspace, the use of the TCAS may actually lead to induced collisions. Therefore, further research regarding TCAS logic is required. In this paper, an encounter model is formalised to identify all of the potential collision scenarios that can be induced by a resolution advisory that was generated previously by the TCAS without considering the downstream consequences in the surrounding traffic. The existing encounter models focus on checking and validating the potential collisions between trajectories of a specific scenario. In contrast, the innovative approach described in this paper concentrates on quantitative analysis of the different induced collision scenarios that could be reached for a given initial trajectory and a rough specification of the surrounding traffic. This approach provides valuable information at the operational level. Furthermore, the proposed encounter model can be used as a test-bed to evaluate future TCAS logic changes to mitigate potential induced collisions in hot spot volumes. In addition, the encounter model is described by means of the coloured Petri net (CPN) formalism. The resulting state space provides a deep understanding of the cause-and-effect relationship that each TCAS action proposed to avoid an actual collision with a potential new collision in the surrounding traffic. Quantitative simulation results are conducted to validate the proposed encounter model, and the resulting collision scenarios are summarised as valuable information for future Air Traffic Management (ATM) systems.     

Airport capacity increase via the use of braking profiles

Many airports are encountering the problem of insufficient capacity, which is particularly severe in periods of increased traffic. A large number of elements influence airport capacity, but one of the most important is runway occupancy time. This time depends on many factors, including how the landing roll procedure is performed. The procedure usually does not include the objective to minimize the runway occupancy time. This paper presents an analysis which shows that the way of braking during landing roll has an essential impact on runway throughput and thus on airport capacity. For this purpose, the landing roll simulator (named ACPENSIM) was created. It uses Petri nets and is a convenient tool for dynamic analysis of aircraft movement on the runway with given input parameters and a predetermined runway exit. Simulation experiments allowed to create a set of nominal braking profiles that have different objective functions: minimizing the runway occupancy time, minimizing noise, minimizing tire wear, maximizing passenger comfort and maximizing airport capacity as a whole. The experiments show that there is great potential to increase airport capacity by optimizing the braking procedure. It has been shown that by using the proposed braking profiles it is possible to reduce the runway occupancy time even by 50%.     

基于 Petri 网的装备临抢修业务流程建模研究*

为了提高装备临抢修业务工作的科学性和准确性,论文利用Petri网建模的优势,将排队系统运用到装备临抢修业务流程建模研究中,利用库所优先级实现对故障装备按重要程度进行优先修理。论文讨论了将排队系统转化为HTCPN模型的建模规则,这种方法既可以给出简单直观的模型顶层结构,又可以根据实际情况对模型进行细化,并有利于对模型进行分析和仿真。最后利用CPN Tools工具对所建立的模型进行了性能分析,验证了模型的实用性和有效性。     

克隆选择算法在基坑支护位移反分析中的应用

在基坑工程中,传统的位移反分析方法计算量较大,不易掌握,且求得的岩土体力学性能参数的精度较低。为此,提出应用克隆选择算法求解位移反分析问题的新方法,其核心是采用BP网络为正演工具代替有限元方法,描述土体力学性能参数和位移的非线性映射,可减少计算量,并利用克隆选择算法为反演工具,通过反演分析确定土体力学性能参数,具有较高的精度。依据该反分析方法获得的岩土体力学性能参数又可以估算下一工况的基坑位移。仿真试验结果表明了新方法的可行性和有效性。     

新扩展强化非对称选择网的有界性与单调性

根据Petri网结构理论，讨论非对称选择网(AC)的一个子类：新扩展强化非对称选择网(NESAC)的有界性与活性单调性，判定NESAC网N结构有界的充分必要条件是，N被极小死锁簇覆盖，每个非空极小死锁H一定是个陷阱且满足|t^*∩|=|t^*∩H|=1，NESAC网仍然具有ESAC活性单调性的特征。     

����ɫPetri����������ͨ�ŵ� �г� ����ϵͳ�IJ��ģ��

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