Evaluation of fuzzy Petri nets with the tool TransPlaceSim | IEEE Conference Publication | IEEE Xplore