A new scheduling model based on extended Petri net - TREM net | IEEE Conference Publication | IEEE Xplore