Verification of IoT-Aware Business Processes Based on Extended Petri Nets

von Cao, Jiachen
Veröffentlicht in CCF International Conference on Service Science (16. : 2023 : Harbin) Service science (2023)