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