基于Petri网的网络最小费用最大流算法

将Petri网方法应用于求解网络的最小费用最大流问题,提出费用Petri网的定义,设计费用Petri网的变迁使能规则并提出求解最小费用最大流问题的Petri网算法.与以往的算法不同,该算法通过对库所进行标号寻找变迁的触发序列,并在该序列上增流.最后举例说明算法的应用.     

Modeling and analysis of panel hull block assembly system through timed colored Petri net

To implement efficient production control, this paper provides a timed colored Petri net (timed CPN) approach to performance modeling, real-timed dispatching and simulation of Panel hull block assembly system (PHBAS). The definition of Petri net is extended to accord with the real-world PHBAS’s organization, and the modeling method for hull flow production is provided in order to simplify modeling program. Using modeling and analyzing method, the dynamic characteristics of the system can be emulated and quantitatively calculated and work control tactics can be optimized. For the double bottom hull block shipbuilding system in a recently built shipyard in China, the simulation model with timed CPN was described and the system parameters and optimal task sequence which has the minimum operation time were obtained for a scheduling case.     

基于事件的舰载机出动回收作业流程建模方法

为构建基于舰载机出动回收作业流程剖面分析规范化的合理逻辑模型,采用IDEF0设计框架及Petri网工具对其进行离散事件建模,搭建工程经验与仿真模型间的桥梁。根据工程经验,依照面向过程的IDEF0设计框架,理清舰载机出动回收作业流程中各组件系统间的信息交互和互操作关系,完成活动模型,以明确该流程中的事件触发规则和顺序,并根据活动对应变迁、信息流对应库所的原则,构建舰载机出动回收作业流程Petri网模型,形成工程研制者及仿真研发者均能接受的舰载机出动回收作业流程逻辑仿真模型,该Petri网模型也可直接应用于舰载机出动回收作业流程离散事件系统的功能仿真。     

不确定性时间知识推理和验证算法及列车群建模分析

时间知识的推理和验证技术对列车群行为建模分析具有重要意义,是其实施关键。本文在原来工作的基础上,引入模糊时间区间、扩展模糊时间Petri网(EFTPN)及可能性值运算等内容,提出了一种基于EFTPN的不确定性时间知识推理和验证算法。该算法效率高,占用空间少;不但能够进行不确定性时间信息的精确推理,而且适用面更广,可以较好解决复杂情况下的时间推理和验证问题。     

部分可观Petri网系统的在线故障诊断方法

针对Petri网系统故障检测与诊断过程中存在状态枚举及随后的状态爆炸问题,采用整数线性规划方法,提出了Petri网系统的在线故障诊断算法。算法将故障表示为Petri网模型的不可观变迁,定义了故障诊断器函数,通过可观的变迁序列,诊断系统行为是否出现故障。该算法避免了状态空间爆炸,降低了在线运算量的复杂性。以地铁列车进出站系统为实例,对地铁列车进出站系统进行含不可观变迁Petri网建模,应用提出的算法对铁列车进出站系统故障进行诊断。试验表明,该算法能有效应用于地铁列车进出站过程在线故障诊断。     

一种层次化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程序的方法.