Property Preservation of Time Petri Net Reduction

We motivate and study the reduction of a kind of time Petri net. Petri net reduction can avoid the state exploration problem by guaranteeing the correctness in the Petri net. For systems specified in time Petri nets, this paper proposes a set of reduction rules. One major advantage of this reduction technique is that the resultant time Petri net is guaranteed to preserve properties of the original time Petri net. A management system has been reduced. These results are useful for studying the static and dynamic properties of time Petri nets, analyzing properties for large complex system.