Wang Z, Hu Y, Zhang J. Petri Nets based Production System Model Simplification. ELEKTRON ELEKTROTECH. 2012;123(7):113-118. doi:10.5755/j01.eee.123.7.2388