An extended Petri net III and its applications | IEEE Conference Publication | IEEE Xplore