论文部分内容阅读
提出了一种用面向对象Ｐｅｔｒｉ网为空中交通管制系统建模的方法，给出了这种高级Ｐｅｔｒｉ网的形式化定义，并用具体实例说明了该方法的优点
THEMODELINGOFATCSYSTEMSBASEDONPETRINET
【摘 要】
：
提出了一种用面向对象Ｐｅｔｒｉ网为空中交通管制系统建模的方法，给出了这种高级Ｐｅｔｒｉ网的形式化定义，并用具体实例说明了该方法的优点
【出 处】
：
TRANSACTIONS OF NANJING UNIVERSITY OF AERONAUTICS & ASTRONAU
【发表日期】
：
1996年1期
其他文献
有人说“统计部门没权没势”、是“清水衙门”,统计战线的干部职工是“穷哥们”。然而,在河南省安阳市汤阴县农业普查办公室工作的统计干部李兵同志身患重病,生命垂危时,“清
传统接入网形成的网络结构给运营商降低成本带来巨大压力，瑞斯康达的EPON光接入网解决方案可以解决这些问题。
介绍了香港一家电梯公司所实施的策略品质管理，其品质策略、政策及目标都是以顾客的需求而确立的，持续品质改良已被采纳为公司之策略，用以改良表现及竞争优势。本文提出一个使用
到2000年使全国人民生活达到小康水平是我国经济发展的笫二步战略目标,作为中国第一人口大省,河南小康进程如何,2000年能否如期实现小康目标,是各级政府和社会普遍关注的一个
一、令人关注的“基础” 随着社会主义市场经济的发展,社会经济结构日趋复杂,统计工作虽正逐步适应新形势发展的需要,但统计数据的准确无误亦面临着新的考验。在一些地区和部
一、农产品价格变动的主要情况 (一)1996年我省农产品收购价格总水平呈现出比较稳定的态势。全年农产品收购价格总水平比去年同期上升5.1％。从全年变动情况看,前七个月收购价
1999年10月28日，在董事长、总经理、副董事长、副总经理的位置上亲自披挂上阵的7位华帝燃具初始创业者集体退位让贤，被公认为“中国职业经理人第一人”姚吉庆成了华帝燃具有限