Modeling and simulation of aircraft maintenance support process based on HTCPN

Maintenance process model of aircrafts is the basis of the research on aircraft maintenance support system,and the maintenance process is a typical discrete event system.Hierarchical timed colored Petri net(HTCPN) is a powerful tool to describe maintenance support process of aircrafts.The modeling method based on HTCPN has been introduced in this paper,the maintenance support process of aircraft has been analyzed.The model developed on HTCPN by CPNTools has been given,and the model has been analyzed,which could provide references for researching and optimizing the maintenance process of aircraft.