Analysis of Petri nets with batch processing arcs | IEEE Conference Publication | IEEE Xplore