FORMAL DESIGN AND ANALYSIS OF A WASTEWATER TREATMENT CONTROL SYSTEM BASED ON PETRINET