An interactive Petri net tool for modeling, analysis and simulation of complex systems | IEEE Conference Publication | IEEE Xplore