基于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工具对所建立的模型进行了性能分析,验证了模型的实用性和有效性。     

基于随机Petri网的指挥流程性能指标分析

Petri网是一种很有效的模型描述语言,适用于描述含有并行成分的系统。文章运用随机Petri网同构马尔可夫链的原理,对海上编队作战准备阶段的指挥流程性能指标进行分析。     

基于Petri网考虑中介状态的机械系统失效相关可靠性分析

机械系统因其各子系统、各部件、各单元之间的相互复杂关系,容易受到自身结构与人为因素的影响,导致其发生失效,严重影响了机械系统的可靠性.在利用Petfi网模型对机械系统分析的基础上,并引入"安全-中介-失效"3级工作模式,从安全、中介、失效3个方面来反映机械系统的可靠(完全正常工作)、可靠与失效的中介过渡、失效(完全不能...     

基于Petri网的现代造船车间工作流建模研究

面向生产过程控制,分析了现代造船车间生产作业流程与作业活动,提出以工作流管理系统为集成平台的车间生产过程管理,应用模块化着色网MCPN建立系统过程模型.动态适应性的系统过程模型是以基本子流程为模块,以作业任务为核心,自下而上建立的模块化Petri网结构,可体系化、参数化描述现代造船车间生产物流与作业流.