Method for carrier aircraft task flow safety analysis based on TPN | IEEE Conference Publication | IEEE Xplore