论文部分内容阅读
实时离散事件系统中有两各具有硬实时上限的离散事件－有界事件和有效期事件，它们比基本实时离散事件－－无界事件和强迫有更强的时间约束，对包含这两类事件的系统进行研究就变得十分复杂，文中给出了基于基本实时离散事件的Petri网模型，并为有界事件和有效期事件找到了由基本实时离散事件构成的Petri网模型，从而使文中的模型能够描述更广泛的离散事件系统。