Panjaitan SD, Sitorus B. Formal Design and Analysis of a Wastewater Treatment Control System Based on Petri Net. J. Eng. Technol. Sci. [Internet]. 2013Sep.13 [cited 2025Oct.31];44(1):1-20. Available from: https://journals.itb.ac.id/index.php/jets/article/view/156