Component-level reduction rules for time Petri nets with application in C2 systems | IEEE Conference Publication | IEEE Xplore