Research on simulation model of Petri net about maintaining process with fuzzy duration | IEEE Conference Publication | IEEE Xplore