Property Preservation of Time Petri Net Reduction | IEEE Conference Publication | IEEE Xplore