Petri net modeling analysis of processes at clutch time in NBA games | IEEE Conference Publication | IEEE Xplore