Panjaitan, Seno D., and Berlian Sitorus. “Formal Design and Analysis of a Wastewater Treatment Control System Based on Petri Net”. Journal of Engineering and Technological Sciences 44, no. 1 (September 13, 2013): 1-20. Accessed October 31, 2025. https://journals.itb.ac.id/index.php/jets/article/view/156.