A Petri net approach to stability analysis of buffer priority scheduling policies in manufacturing systems | IEEE Conference Publication | IEEE Xplore