Real-time supervision for intelligent manufacturing supported by T-temporal Petri net models | IEEE Conference Publication | IEEE Xplore