A High-Level Fuzzy Timed Petri-Net-Based Approach | IEEE Conference Publication | IEEE Xplore