Fuzzy logic enhanced time Petri Net models for hybrid control systems | IEEE Conference Publication | IEEE Xplore