Development and Verification of an IoT-enabled Air Quality Monitoring System Based on Petri Nets. - Yi-Nan Lin; Sheng-Kuan Wang; Gwo-Jen Chiou; Cheng-Ying Yang; Victor R. L. Shen; Zhi Yang Su (Wirel. Pers. Commun., 2023)