一种新型Petri Net:双层变迁定时Petri Net

嵌入式系统的设计尤其是复杂嵌入式系统的设计,需要对系统的稳定性、可靠性等进行分析,进而对系统进行设计优化。这首先需要对系统建立适当的模型进行仿真分析。该文在深入分析现有的基础上,构建了一种适合于嵌入式系统建模的新型。Petri NetPetri

双层变迁定时Petri Net抽象化

该文对双层变迁定时Petri Net进行了抽象化。抽象化的双层变迁定时Petri Net可用于嵌入式系统设计过程的中间态模拟。

基于定时谓词变迁系统客运专线区间通用模型及仿真

为建立能跟踪列车、闭塞分区变化踪迹的通用区间模型,将闭塞分区与相应色灯信号机看做一个整体,采用区间运行规则1,以能在仿真中跟踪每个个体的踪迹并能描述个体状态变化与时间联系的定时谓词/变迁—系统(TPr/T-S)为基础,构建铁路区间TPr/T-S通用模型。基于该模型设计了客运专线区间作业仿真系统,并在此系统上对秦沈客运专线辽中—皇姑屯区间列车运行进行了仿真。仿真结果证实了提出的铁路区间TPr/T-S通用模型的有效性。将铁路区间通用模型与客运专线车站通用模型集成为客运专线整体模型,可对一条客运专线全程仿真;进一步集成,可将仿真范围扩展到某路网区域直至整个路网。

基于定时Petri网的舰艇保障能力仿真与评估

舰艇保障是一种主要依赖后勤技术装备的专业化后勤,也是涉及并行、冲突,并受资源、装配时间等限制的复杂离散事件过程。借助定时Petri网强大的描述能力标记过程中的各种动态行为,在此基础上对包括后勤装备在内的后勤实体、保障任务、保障活动等进行建模,采用编码、转换等手段实现舰艇保障过程仿真,并使用仿真结果对后勤保障能力进行"定量计算"为主的分析评估。

基于TPr/T-S的客专车站通用模型及仿真

为建立能跟踪列车、进路、股道变化踪迹且与车站站场布局及结构无关的车站通用模型,将客运专线车站站场视为由进路和股道这两类个体组成;引入时间参数将谓词/变迁-系统(Pr/T-S)扩充为定时/谓词变迁-系统(TPr/T-S).扩充后的系统既能在仿真中跟踪每个个体的状态变化踪迹,又能描述个体状态变化与时间的联系.基于列车、进路、股道等三类个体和TPr/T-S建立了与车站拓扑和规模无关的客运专线车站通用模型.对徐州东站的仿真试验数据显示了进路、股道等设施的占用情况,仿真时间段内车站进路平均利用率为34%,每列列车都能分配到可用进路,表明所采用的运行图是安全、可行的,也证实了此通用模型的有效性.