Intelligent conflict detection of IoT services using high-level Petri nets. - Rong Yang 007; Mou Wu; Xueqin Gui; Hongsheng Chen (Complex Intell. Syst., 2024)