Modeling and Performance Optimization for Complex Workflow in IoT
Downloads
This study addresses the growing challenge of time scheduling in Internet of Things (IoT) workflows, where efficiency in time utilization and resource profitability is increasingly constrained by uncertainty. Real-world workflows are characterized by non-deterministic activity execution and resource preparation times, yet existing research often neglects these fundamental dynamics when modeling IoT-based processes. To bridge this gap, we propose a comprehensive modeling and performance optimization framework that explicitly incorporates uncertainty. Methodologically, the framework introduces two distinct types of places to represent activities and resources, with resource properties capturing reusability and preparation processes abstracted as specialized activities. For workflow activities, timing functions are defined to model minimum and maximum execution times, enabling the computation of earliest and latest start times and the identification of critical activities driving overall workflow duration. To mitigate resource conflicts during execution, three alternative resolution strategies are developed and systematically evaluated. Results demonstrate that the proposed approach effectively identifies optimal scheduling strategies under uncertainty, enhancing both temporal efficiency and resource utilization. A workflow case study illustrates the applicability of the framework, offering methodological and practical insights for designing resilient IoT workflow scheduling systems in complex, real-world environments.
Downloads
[1] Reisig, W. (2011). Petri Nets. Modeling in Systems Biology. Computational Biology, Volume 16. Springer, London, United Kingdom. doi:10.1007/978-1-84996-474-6_3.
[2] Wang, H., & Zeng, Q. (2008). Modeling and analysis for workflow constrained by resources and nondetermined time: An approach based on Petri nets. IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans, 38(4), 802–817. doi:10.1109/TSMCA.2008.923056.
[3] Li, J. Q., Fan, Y. S., & Zhou, M. C. (2004). Performance modeling and analysis of workflow. IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans, 34(2), 229–242. doi:10.1109/TSMCA.2003.819490.
[4] Van Der Aalst, W. M. P. (1998). The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers, 8(1), 21–66. doi:10.1142/S0218126698000043.
[5] Li, J. Q., Fan, Y. S., & Zhou, M. C. (2003). Timing constraint workflow nets for workflow analysis. IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans, 33(2), 179–193. doi:10.1109/TSMCA.2003.811771.
[6] Li, J., Fan, Y., & Zhou, M. (2003). Approximate performance analysis of Workflow model. SMC’03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483), 1175–1180 vol.2. doi:10.1109/icsmc.2003.1244570.
[7] De Maria, E., Montanari, A., & Zantoni, M. (2006). An automaton-based approach to the verification of timed workflow schemas. Thirteenth International Symposium on Temporal Representation and Reasoning (TIME’06), 87–94. doi:10.1109/time.2006.6.
[8] Liu, C., Wang, Y., Wen, L., Cheng, J., Cheng, L., & Zeng, Q. (2024). Discovering Hierarchical Multi-Instance Business Processes from Event Logs. IEEE Transactions on Services Computing, 17(1), 142–155. doi:10.1109/TSC.2023.3335360.
[9] Zeng, Q., Lu, F., Liu, C., Duan, H., & Zhou, C. (2015). Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 45(2), 349–362. doi:10.1109/tsmc.2014.2334276.
[10] Mo, Q., Wang, J., Xie, Z., Liu, C., & Dai, F. (2024). Enforcing Correctness of Collaborative Business Processes Using Plans. IEEE Transactions on Software Engineering, 50(9), 2313–2336. doi:10.1109/tse.2024.3431585.
[11] Liu, C. (2018). Automatic Discovery of Behavioral Models from Software Execution Data. IEEE Transactions on Automation Science and Engineering, 15(4), 1897–1908. doi:10.1109/TASE.2018.2844725.
[12] Liu, C. (2021). Discovery and Quality Evaluation of Software Component Behavioral Models. IEEE Transactions on Automation Science and Engineering, 18(4), 1538–1549. doi:10.1109/TASE.2020.3008897.
[13] Liu, C. (2020). Hierarchical Business Process Discovery: Identifying Sub-processes Using Lifecycle Information. 2020 IEEE International Conference on Web Services (ICWS), 423–427. doi:10.1109/icws49710.2020.00062.
[14] Liu, C. (2022). Formal Modeling and Discovery of Multi-instance Business Processes: A Cloud Resource Management Case Study. IEEE/CAA Journal of Automatica Sinica, 9(12), 2151–2160. doi:10.1109/JAS.2022.106109.
[15] Mo, Q., Wang, J., Jiang, Y., Xie, Z., Wang, W., Liu, C., & Dai, F. (2024). Enforcing Data-Aware Business Processes Using Execution Path-Oriented Strategies. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 54(11), 6708–6722. doi:10.1109/TSMC.2024.3427838.
[16] Liu, C., Li, H., Zhang, S., Cheng, L., & Zeng, Q. (2023). Cross-Department Collaborative Healthcare Process Model Discovery from Event Logs. IEEE Transactions on Automation Science and Engineering, 20(3), 2115–2125. doi:10.1109/TASE.2022.3194312.
[17] Duan, H., Liu, C., Zeng, Q., & Zhou, M. (2020). Refinement-Based Hierarchical Modeling and Correctness Verification of Cross-Organization Collaborative Emergency Response Processes. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 50(8), 2845–2859. doi:10.1109/TSMC.2018.2838053.
[18] Mo, Q., Wang, J., Jiang, C., Xie, Z., Liu, C., & Dai, F. (2024). Correctness Analysis of Cross-Organization Emergency Response Processes Based on Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 54(2), 800–812. doi:10.1109/TSMC.2023.3321060.
[19] Yu, W., Jia, M., Liu, C., & Ma, Z. (2020). Task Preemption Based on Petri Nets. IEEE Access, 8(1), 11512–11519. doi:10.1109/ACCESS.2020.2964382.
[20] Eder, J., Panagos, E., & Rabinovich, M. (1999). Time Constraints in Workflow Systems. Advanced Information Systems Engineering. CAiSE 1999. Lecture Notes in Computer Science, Volume 1626. Springer, Berlin, Germany. doi:10.1007/3-540-48738-7_22.
[21] Marjanovic, O., & Orlowska, M. E. (1999). On Modeling and Verification of Temporal Constraints in Production Workflows. Knowledge and Information Systems, 1(2), 157–192. doi:10.1007/bf03325097.
[22] Kotb, Y., Al Ridhawi, I., Aloqaily, M., Baker, T., Jararweh, Y., & Tawfik, H. (2019). Cloud-Based Multi-Agent Cooperation for IoT Devices Using Workflow-Nets. Journal of Grid Computing, 17(4), 625–650. doi:10.1007/s10723-019-09485-z.
[23] Kozma, D., Varga, P., & Larrinaga, F. (2021). Dynamic Multilevel Workflow Management Concept for Industrial IoT Systems. IEEE Transactions on Automation Science and Engineering, 18(3), 1354–1366. doi:10.1109/tase.2020.3004313.
- This work (including HTML and PDF Files) is licensed under a Creative Commons Attribution 4.0 International License.
