Controlled timed Petri nets: equivalence relations, model reduction | IEEE Conference Publication | IEEE Xplore