Modeling and Delay Propagation Analysis for Flight Operation Based on Time Interval Petri Net

• DOI: 10.2174/1874444301406010433
• Publication Date: 2015-01-27T10:09:49Z
• Authors: Xiaoyan Zhang; Xinping Zhu
• Keywords: Flight Dynamics

A Time Interval Petri net (TIPN) is proposed and used to model flight operation.Based on the TIPN model, delay propagation analysis algorithm provided, which reduces complexity of algorithm.Time interval constraints are attached places transitions in could turnaround time flying period.Meanwhile, firing rules for transition sequence defined based simplified derived depending reasoning ability linear logic.And also, real proposed.TIPN operation considering different initial levels source airport established demonstrated that, rapidly predict state level downstream airports effectively.