Formal Design and Analysis of a Wastewater Treatment Control System Based on Petri Net
| Main Authors: | Panjaitan, Seno D.; Automation and Control Group, Dept. of Electrical Engineering, Faculty of Engineering, Tanjungpura University, Pontianak, Indonesia, Sitorus, Berlian; Dept. of Chemistry, Faculty of Mathematics and Natural Sciences, Tanjungpura University, Pontianak, Indonesia |
|---|---|
| Format: | Article info application/pdf eJournal |
| Bahasa: | eng |
| Terbitan: |
ITB Journal Publisher, LPPM ITB
, 2013
|
| Subjects: | |
| Online Access: |
http://journals.itb.ac.id/index.php/jets/article/view/156 http://journals.itb.ac.id/index.php/jets/article/view/156/150 |
| ctrlnum |
article-156 |
|---|---|
| fullrecord |
<?xml version="1.0"?>
<dc schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd"><title lang="en-US">Formal Design and Analysis of a Wastewater Treatment Control System Based on Petri Net</title><creator>Panjaitan, Seno D.; Automation and Control Group, Dept. of Electrical Engineering,
Faculty of Engineering, Tanjungpura University, Pontianak, Indonesia</creator><creator>Sitorus, Berlian; Dept. of Chemistry, Faculty of Mathematics and Natural Sciences,
Tanjungpura University, Pontianak, Indonesia</creator><subject lang="en-US">aeration; anaerobic; automation; Petri net; wastewater treatment.</subject><description lang="en-US">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 a lab-scale was controlled by a microcontroller circuit. The developed system combined anaerobic digestion, aeration and filtration process. Its logic control algorithm was designed by using Signal Interpreted Petri Net. In the logic verification, six analysis properties were satisfied: conflict free (logical process had no conflict behavior), termination (the process could be terminated from any state), non-contradictory outputs, live (any process state could always be reached from other state), deadlock-free, and reversible (the process could always back to initial condition). In the design evaluation, the average value of transparency metrics was 0.984 close to 1 as the best value. The system performance was evaluated by pollutant removal efficiency. The highest removal efficiencies were obtained when each anaerobic and aeration treatment were performed for three days respectively and followed by filtration. Within this condition, the system obtained average removal efficiency 91.7% of Chemical Oxygen Demand and 95.4% of Total Suspended Solids. In terms of electricity consumption, the system needed only 1,857.6 Watt-hour for a batch treatment process.</description><publisher lang="en-US">ITB Journal Publisher, LPPM ITB</publisher><contributor lang="en-US"/><date>2013-09-13</date><type>Journal:Article</type><type>Other:info:eu-repo/semantics/publishedVersion</type><type>Other:</type><type>File:application/pdf</type><identifier>http://journals.itb.ac.id/index.php/jets/article/view/156</identifier><identifier>10.5614/itbj.eng.sci.2012.44.1.1</identifier><source lang="en-US">Journal of Engineering and Technological Sciences; Vol 44, No 1 (2012); 1-20</source><source>2338-5502</source><source>2337-5779</source><language>eng</language><relation>http://journals.itb.ac.id/index.php/jets/article/view/156/150</relation><recordID>article-156</recordID></dc>
|
| language |
eng |
| format |
Journal:Article Journal Other:info:eu-repo/semantics/publishedVersion Other Other: File:application/pdf File Journal:eJournal |
| author |
Panjaitan, Seno D.; Automation and Control Group, Dept. of Electrical Engineering,
Faculty of Engineering, Tanjungpura University, Pontianak, Indonesia Sitorus, Berlian; Dept. of Chemistry, Faculty of Mathematics and Natural Sciences, Tanjungpura University, Pontianak, Indonesia |
| title |
Formal Design and Analysis of a Wastewater Treatment Control System Based on Petri Net |
| publisher |
ITB Journal Publisher, LPPM ITB |
| publishDate |
2013 |
| topic |
aeration anaerobic automation Petri net wastewater treatment |
| url |
http://journals.itb.ac.id/index.php/jets/article/view/156 http://journals.itb.ac.id/index.php/jets/article/view/156/150 |
| contents |
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 a lab-scale was controlled by a microcontroller circuit. The developed system combined anaerobic digestion, aeration and filtration process. Its logic control algorithm was designed by using Signal Interpreted Petri Net. In the logic verification, six analysis properties were satisfied: conflict free (logical process had no conflict behavior), termination (the process could be terminated from any state), non-contradictory outputs, live (any process state could always be reached from other state), deadlock-free, and reversible (the process could always back to initial condition). In the design evaluation, the average value of transparency metrics was 0.984 close to 1 as the best value. The system performance was evaluated by pollutant removal efficiency. The highest removal efficiencies were obtained when each anaerobic and aeration treatment were performed for three days respectively and followed by filtration. Within this condition, the system obtained average removal efficiency 91.7% of Chemical Oxygen Demand and 95.4% of Total Suspended Solids. In terms of electricity consumption, the system needed only 1,857.6 Watt-hour for a batch treatment process. |
| id |
IOS361.article-156 |
| institution |
Institut Teknologi Bandung |
| affiliation |
onesearch.perpusnas.go.id |
| institution_id |
79 |
| institution_type |
library:university library |
| library |
Perpustakaan Institut Teknologi Bandung |
| library_id |
100 |
| collection |
Journal of Engineering and Technological Sciences |
| repository_id |
361 |
| subject_area |
Technology, Applied Sciences/Teknologi, Ilmu Terapan Engineering/Ilmu Teknik |
| city |
KOTA BANDUNG |
| province |
JAWA BARAT |
| repoId |
IOS361 |
| first_indexed |
2016-09-16T14:27:53Z |
| last_indexed |
2018-11-16T02:35:38Z |
| recordtype |
dc |
| _version_ |
1720598031981608960 |
| score |
17.607244 |