摘要
针对基本Petri网的出现网在描述有色Petri网动态行为时的局限性,在基本出现网的基础上定义了一种扩展的出现网,即有色出现网,直观地反映了有色Petri网系统中资源流动及变化之间的顺序和并发关系,也大大减小了图形的复杂程度。同时,将有色Petri网和这种有色出现网应用于航班延误波及链的建模中,反映了航班执行时所需的多种资源的分布及流动情况,描述了航班在执行过程中与机场之间的相互影响及延误的链式波及反应。
An extended occurrence net, colored occurrence net, was defined to overcome the shortcoming of traditional occurrence net for describing the dynamic behaviors of colored Petri net. The colored occurrence net can reflect the sequential and concurrent relationship of the transitions of colored Petri net system compactly. Besides, colored Petri net and colored occurrence net were applied to model the delay propagation in civil aviation networks, illustrating the distribution and movement of the network resources, and describing the interrelation between flights and airports in flight operating processes and the propagation chain of flight delays.
出处
《计算机科学》
CSCD
北大核心
2009年第2期241-244,共4页
Computer Science
基金
国家高技术研究发展(863)计划(2006AA12A106)资助
