Panjaitan, S. D., & 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), 1-20. https://doi.org/10.5614/itbj.eng.sci.2012.44.1.1