Page
%P
![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Verification of IoT-Aware Business Processes Based on Extended Petri Nets
With the rapid development of cloud computing and Internet of Things (IoT)technology, the convergence of BPM (Business Process Management) and IoT big data has attracted more and more attention. Integrating Io...