A Petri net approach to deadlock analysis for classes of kanban systems | IEEE Conference Publication | IEEE Xplore