A comparison of two analysis algorithms for fuzzy marking Petri nets | IEEE Conference Publication | IEEE Xplore