Verification of IoT-Aware Business Processes Based on Extended Petri Nets. - Jiachen Cao; Jing Wang; Shiyi Yang; Huilong Gong (ICSS, 2023)