Analysis of Minimum Workflow Resource Requirement

  • Jiacun WangEmail author
  • Bill Tepfenhart
  • Xiaoou Li
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 602)


A workflow describes the flow of jobs of a business process. Executing a workflow requires resources. In many situations, business processes are constrained by scarce resources. Therefore, it is important to understand workflow resource requirement. In our previous work, we introduced resource oriented workflow nets (ROWN) and based on ROWN, an efficient algorithm for the analysis of the maximum resource requirement of a workflow (maxRR) was developed [11]. The maxRR is the minimum amount of resources that support workflow execution along every possible path. On the hand, when there is a resource shortage, it is important to find the minimum resource requirement (minRR), which is the minimum amount of resources that support workflow execution along at least one path. In this paper, we present an approach to analyzing the minRR.


Workflows Workflow nets Petri nets Resource requirements analysis 



The work presented in this paper is partially supported by Mexico CONACYT program “Estancia Sabatica en Mexico para Eranjeroa.”


  1. 1.
    van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Inf. Syst. 30(4), 245–275 (2005)CrossRefGoogle Scholar
  2. 2.
    van der Aalst, W.M.P.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407–426. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  3. 3.
    Fanti, M.P., Zhou, M.: Deadlock control methods in automeated manufacturing systems. IEEE Trans. Syst. Man Cybern. Part A 34(1), 5–21 (2004)CrossRefGoogle Scholar
  4. 4.
    Guo, H., Brown, R., Rasmussen, R.: Workflow resource pattern modelling and visualization. In: Australasian Computer Science Week, 29 January – 1 February, Adelaide, Australia (2013)Google Scholar
  5. 5.
    van Hee, K., Sidorova, N., Voorhoeve, M.: Resource-constrained workflow nets. Fundamenta Informaticae 71(2–3), 243–257 (2005)MathSciNetzbMATHGoogle Scholar
  6. 6.
    Juhás, G., Kazlov, I., Juhásová, A.: Instance deadlock: a mystery behind frozen programs. In: Lilius, J., Penczek, W. (eds.) PETRI NETS 2010. LNCS, vol. 6128, pp. 1–17. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  7. 7.
    Martos-Salgado, M., Rosa-Velardo, F.: Dynamic soundness in resource-constrained workflow nets. In: Bruni, R., Dingel, J. (eds.) FORTE 2011 and FMOODS 2011. LNCS, vol. 6722, pp. 259–273. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  8. 8.
    Zur Muehlem, M.: Resource modeling in workflow applications. In: Workflow Management Conference (1999)Google Scholar
  9. 9.
    Russell, N., van der Aalst, W.M., ter Hofstede, A.H., Edmond, D.: Workflow resource patterns: identification, representation and tool support. In: Pastor, Ó., Falco e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 216–232. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  10. 10.
    Russell, N., van der Aalst, W.M.P.: Work distribution and resource management in BPEL4People: capabilities and opportunities. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 94–108. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  11. 11.
    Wang, J., Li, D.: Resource oriented workflow nets and workflow resource requirement analysis. Int. J. Softw. Eng. Knowl. Eng. 23(5), 667–693 (2013)CrossRefGoogle Scholar
  12. 12.
    Wang, J., Tepfenhart, W., Rosca, D.: Emergency response workflow resource requirements modeling and analysis. IEEE Trans. Syst. Man Cybern. Part C 39(3), 270–283 (2009)CrossRefGoogle Scholar
  13. 13.
    Wang, J., Rosca, D., Tepfenhart, W., Milewski, A., Stoute, M.: Dynamic workflow modeling and analysis in incident command systems. IEEE Trans. Syst. Man Cybern. Part A 38(5), 1041–1055 (2008)CrossRefGoogle Scholar
  14. 14.
    Wu, N., Zhou, M.: Resource-oriented petri nets in deadlock avoidance of AGV systems. In: Proceedings of the 2001 IEEE International Conference on Robotics and Automation, Seoul, Korea, 21–26 May 2001Google Scholar
  15. 15.
    Wu, N., Zhou, M.: System Modeling and Control with Resource-Oriented Petri Nets. CRC Press, Boca Raton (2009)Google Scholar

Copyright information

© Springer Science+Business Media Singapore 2016

Authors and Affiliations

  1. 1.Department of Computer Science and Software EngineeringMonmouth UniversityMonmouthUSA
  2. 2.Department of ComputationCINVESTAV-IPNMexico, D.F.Mexico

Personalised recommendations