PANJAITAN, S. D.; SITORUS, B. Formal Design and Analysis of a Wastewater Treatment Control System Based on Petri Net. Journal of Engineering and Technological Sciences, v. 44, n. 1, p. 1-20, 13 Sep. 2013.