Panjaitan, S. D.; Sitorus, B. Formal Design and Analysis of a Wastewater Treatment Control System Based on Petri Net. J. Eng. Technol. Sci. 2013, 44, 1-20.