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