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