Panjaitan, S. D., and B. Sitorus. “Formal Design and Analysis of a Wastewater Treatment Control System Based on Petri Net”. Journal of Engineering and Technological Sciences, vol. 44, no. 1, Sept. 2013, pp. 1-20, doi:10.5614/itbj.eng.sci.2012.44.1.1.