Formal Design and Analysis of a Wastewater Treatment Control System based on Petrinet
This paper proposes a new control design approach for industrial wastewater treatment where its logic control is verifiable.In this research, a treatment control design in seattle seahawks socks a lab-scale was controlled by a microcontroller circuit.The developed system combined anaerobic digestion, aeration and filtration process.Its logic contro