Complex System Simulation Based on Petri Net Combined with HLA | IEEE Conference Publication | IEEE Xplore