基于Petri网工作流网在舰载机出航准备建模中的应用

基于Petri网的工作流网的舰载机出航准备建模,将舰载机出航准备工作流网分为:与舰载机起飞降落紧密相关的活动、飞行甲板上的舰载机的活动和进入机库舰载机的活动。任何一架舰载机在航母降落,代表该舰载机的托肯会由C1库所进入工作流网,使整个工作流网启动。每个托肯根据航母指挥机构的命令选择不同流向,并向指挥机构显示舰载机出航准备状态。当舰载机接到起飞命令,升空作战时,流程结束。