Modeling and simulation of time and value throughputs of data-aware workflow processes

  • Yanhua Du
  • Ze Yu
  • Benyuan Yang
  • Yang Wang


Time and value throughputs reflect the actual workload and gross profit of enterprises over a period of time, respectively. Both of them are of great importance to the operation of data-aware workflow processes, since they can help managers to balance production capacity at each stage as well as determine how much capital should be recycled over a period of time. However, the existing methods have not investigated both time and value throughputs of data-aware workflow processes. In this paper, we propose a new approach to modeling and simulation of time and value throughputs of data-aware workflow processes. First of all, we construct an abstract model with time and value elements. Second, the abstract model is transformed into a simulation model in CPN Tools. Finally, we obtain and analyze the time and value throughputs automatically via the simulation logs. Compared with the existing methods, this is the first attempt to propose both time and value throughputs of data-aware workflow processes, and the whole procedure of modeling and simulation of them. Furthermore, the procedure of obtaining time and value throughputs through analyzing the logs is proposed, and a prototype system is designed and developed.


Data-aware workflow process Time throughput Value throughput Petri net Simulation 



This work was supported by the National Natural Science Foundation of China under Grant No. 61473035.


  1. Alotaibi, Y. (2016). Business process modelling challenges and solutions: A literature review. Journal of Intelligent Manufacturing, 27(4), 701–723.CrossRefGoogle Scholar
  2. Catalano, C. E., Camossi, E., Ferrandes, R., Cheutet, V., & Sevilmis, N. (2009). A product design ontology for enhancing shape processing in design workflows. Journal of Intelligent Manufacturing, 20(5), 553–567.CrossRefGoogle Scholar
  3. Cheng, F., Li, H., Wang, Y., Skitmore, M., & Forsythe, P. (2013). Modeling resource management in the building design process by information constraint Petri nets. Automation in Construction, 29, 92–99.CrossRefGoogle Scholar
  4. Cheng, F. F., Wang, Y., Ling, X., & Bai, Y. (2011). A Petri net simulation model for virtual construction of earthmoving operations. Automation in Construction, 20(2), 181–188.CrossRefGoogle Scholar
  5. De Leoni, M., Munoz-Gama, J., Carmona, J., & van der Aalst, W. M. P. (2014a). Decomposing alignment-based conformance checking of data-aware process models. In Proceedings of international conferences: CoopIS, and ODBASE (pp. 3–20).Google Scholar
  6. De Leoni, M., Munoz-Gama, J., Carmona, J., & van der Aalst, W. M. P. (2014b). Decomposing conformance checking on Petri nets with data. BPM Center Report BPM-14-06.Google Scholar
  7. De Leoni, M., & van der Aalst, W. M. P. (2013). Data-aware process mining: Discovering decisions in processes using alignments. In Proceedings of 28th annual ACM symposium on applied computing (pp. 1454–1461).Google Scholar
  8. Du, Y., Li, X., & Xiong, P. (2012). A Petri net approach to mediation-aided composition of web services. IEEE Transactions on Automation Science and Engineering, 9(2), 429–435.CrossRefGoogle Scholar
  9. Du, Y., Tan, W., & Zhou, M. (2014). Timed compatibility analysis of web service composition: A modular approach based on Petri nets. IEEE Transactions on Automation Science and Engineering, 11(2), 594–606.CrossRefGoogle Scholar
  10. Du, Y., Xiong, P., Fan, Y., & Li, X. (2011). Dynamic checking and solution to temporal violations in concurrent workflow processes. IEEE Transactions on Systems, Man, and Cybernetics—Part A: Systems and Humans, 41(6), 1166–1181.CrossRefGoogle Scholar
  11. Hsieh, F. S., & Lin, J. B. (2014). Context-aware workflow management for virtual enterprises based on coordination of agents. Journal of Intelligent Manufacturing, 25(3), 393–412.CrossRefGoogle Scholar
  12. Jensen, K., Kristensen, L. M., & Wells, L. (2007). Coloured Petri nets and CPN Tools for modelling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer, 9(3–4), 213.CrossRefGoogle Scholar
  13. Li, C., Ge, J., Hu, H., & Luo, B. (2015). Method for conformance checking based on token log. Journal of Software, 26(3), 509–532.Google Scholar
  14. Li, C., Ge, J., Huang, L., Hu, H., Wu, B., Yang, H., et al. (2016). Process mining with token carried data. Information Sciences, 28(20), 558–576.CrossRefGoogle Scholar
  15. Liu, K., Chen, J., Yang, Y., & Jin, H. (2008). A throughput maximization strategy for scheduling transaction-intensive workflows on swinDeW-G. Concurrency and Computation: Practice and Experience, 20(15), 1807–1820.CrossRefGoogle Scholar
  16. Liu, X., Wang, D., Yuan, D., Wang, F., & Yang, Y. (2014). Throughput based temporal verification for monitoring large batch of parallel processes. In Proceedings of 2014 international conference on software and system process (pp. 124–133).Google Scholar
  17. Liu, X., Yang, Y., Cao, D., & Yuan, D. (2013). Selecting checkpoints along the time line: A novel temporal checkpoint selection strategy for monitoring a batch of parallel business processes. In Proceedings of 35th international conference on software engineering (pp. 1281–1284).Google Scholar
  18. Liu, Y., Zhang, H., Li, C., & Jiao, R. (2012). Workflow simulation for operational decision support using event graph through process mining. Decision Support Systems, 52(3), 685–697.CrossRefGoogle Scholar
  19. Lu, F., Zeng, Q., Bao, Y., & Duan, H. (2014). Hierarchy modeling and formal verification of emergency treatment processes. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 44(2), 220–234.CrossRefGoogle Scholar
  20. Othman, A., Nicod, J., Philippe, L., & Rehn-Sonigo, V. (2012). Optimal energy consumption and throughput for workflow applications on distributed architectures. Sustainable Computing: Informatics and Systems, 4(1), 44–51.Google Scholar
  21. Pacini, E., Mateos, C., & Garino, C. (2015). Balancing throughput and response time in online scientific cloud via ant colony optimization. Advances in Engineering Software, 84, 31–47.CrossRefGoogle Scholar
  22. Pla, A., Gay, P., Meléndez, J., & Beatriz, L. (2014). Petri net-based process monitoring: A workflow management system for process modelling and monitoring. Journal of Intelligent Manufacturing, 25(3), 539–554.CrossRefGoogle Scholar
  23. Shojafar, M., Pooranian, Z., Meybodi, M. R., & Singhal, M. (2015). ALATO: An efficient intelligent algorithm for time optimization in an economic grid based on adaptive stochastic Petri net. Journal of Intelligent Manufacturing, 26(4), 641–658.CrossRefGoogle Scholar
  24. Siller, H. R., Estruch, A., Vila, C., Abellan, J. V., & Romero, F. (2008). Modeling workflow activities for collaborative process planning with product lifecycle management tools. Journal of Intelligent Manufacturing, 19(6), 689–700.CrossRefGoogle Scholar
  25. Sriram, K., Nathan, G., Janakiram, D., & Naveen, S. (2013). Optimizing ordered throughput suing autonomic cloud bursting schedulers. IEEE Transactions on Software Engineering, 39(11), 1564–1581.CrossRefGoogle Scholar
  26. Trčka, N., vander Aalst, W. M. P., & Sidorova, N. (2009). Data-flow anti-patterns: Discovering data-flow errors in workflows. Advanced Information Systems Engineering, 5565, 425–439.Google Scholar
  27. Wang, Z. Xu, X., Chu, D., & Ma, C. (2010). A value-driven approach for the determination of global optimization objective of service composition. In Proceedings of 2010 IEEE international conference on services computing (pp. 210–217).Google Scholar
  28. Xia, Y., Liu, Y., Liu, J., & Zhu, Q. (2012). Modeling and performance evaluation of BPEL processes: A stochastic-petri-net-based approach. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, 42(2), 503–510.CrossRefGoogle Scholar
  29. Yin, D., & Kosar, T. (2011). A data-aware workflow scheduling algorithm for heterogeneous distributed systems. In Proceedings of 2011 international conference on high performance computing & simulation (pp. 114–120).Google Scholar
  30. Zhang, F., Cao, J., Hwang, K., Li, K., & Khan, S. U. (2015). Adaptive workflow scheduling on cloud computing platforms with iterativeordinal optimization. IEEE Transactions on Cloud Computing, 3(2), 156–168.CrossRefGoogle Scholar
  31. Zhang, L., & Jiao, J. (2009). Modeling production configuration using nested colored object-oriented Petri-nets with changeable structures. Journal of Intelligent Manufacturing, 20(4), 359–378.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2018

Authors and Affiliations

  1. 1.School of Mechanical EngineeringUniversity of Science and Technology BeijingBeijingChina
  2. 2.School of Electro-Mechanical EngineeringXidian UniversityXi’anChina

Personalised recommendations