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