Development and Verification of an IoT-enabled Air Quality Monitoring System Based on Petri Nets.
Yi-Nan LinSheng-Kuan WangGwo-Jen ChiouCheng-Ying YangVictor R. L. ShenZhi Yang SuPublished in: Wirel. Pers. Commun. (2023)
Keyphrases
- monitoring system
- petri net
- air quality
- petri net model
- environmental monitoring
- colored petri nets
- concurrent systems
- air pollution
- discrete event systems
- fuzzy petri net
- service composition
- remote monitoring
- network monitoring
- heterogeneous wireless sensor networks
- ims ld
- model checking
- knowledge based systems
- data analysis
- urban areas
- formal specification