论文部分内容阅读
Petri网模型是离散事件动态系统 (DEDS)建模的有利工具 ,但传统的Petri网模型存在模型结构复杂、缺少时间描述等不足。该文在装备维修保障系统建模中 ,结合应用面向对象技术和有色Petri网、赋时Petri网理论 ,提出了将面向对象思想与赋时Petri网相结合进行装备维修保障系统建模的方法 ,并应用该方法对已有的空军通信导航装备维修保障系统Petri网模型进行了对象化和赋时改造 ,使得新建模型结构更加简约、直观 ,有利于扩展和仿真实现 ,并且具备时间描述功能