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 (Sep. 2013), 1-20. DOI:https://doi.org/10.5614/itbj.eng.sci.2012.44.1.1.