Z. Wang, Y. Hu, and J. Zhang, “Petri Nets based Production System Model Simplification”, ELEKTRON ELEKTROTECH, vol. 123, no. 7, pp. 113-118, Sep. 2012.