Skip to main content

Analysis of Minimum Workflow Resource Requirement

  • Conference paper
  • First Online:
Process-Aware Systems (PAS 2015)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 602))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Inf. Syst. 30(4), 245–275 (2005)

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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. van Hee, K., Sidorova, N., Voorhoeve, M.: Resource-constrained workflow nets. Fundamenta Informaticae 71(2–3), 243–257 (2005)

    MathSciNet  MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  8. Zur Muehlem, M.: Resource modeling in workflow applications. In: Workflow Management Conference (1999)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  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 2001

    Google Scholar 

  15. Wu, N., Zhou, M.: System Modeling and Control with Resource-Oriented Petri Nets. CRC Press, Boca Raton (2009)

    Google Scholar 

Download references

Acknowledgement

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

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jiacun Wang .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer Science+Business Media Singapore

About this paper

Cite this paper

Wang, J., Tepfenhart, B., Li, X. (2016). Analysis of Minimum Workflow Resource Requirement. In: Cao, J., Liu, X., Ren, K. (eds) Process-Aware Systems. PAS 2015. Communications in Computer and Information Science, vol 602. Springer, Singapore. https://doi.org/10.1007/978-981-10-1019-4_5

Download citation

  • DOI: https://doi.org/10.1007/978-981-10-1019-4_5

  • Published:

  • Publisher Name: Springer, Singapore

  • Print ISBN: 978-981-10-1018-7

  • Online ISBN: 978-981-10-1019-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics