黄胜国；吕斌；钟，梁 基于Petri网的ATC系统建模。 （英语） Zbl 0855.90077号 事务处理。南京航空大学。宇航员。 第13期，第1期，第18-22页（1996年）. 摘要：利用对象Petri网建立了空中交通控制系统的建模方法。给出了主Petri网的形式化定义，并通过实例加以说明。 MSC公司： 90比90 运筹学中的案例研究 90B15号机组 运筹学中的随机网络模型 90B10型 运筹学中的确定性网络模型 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：空中交通管制；Petri网 PDF格式BibTeX公司 XML格式引用 \textit{S.Huang}等人，翻译。南京航空大学。宇航员。13，第1号，18--22（1996；Zbl 0855.90077）