Abstract
Human resources are of central importance for executing and supervising business processes. An optimal resource allocation can dramatically improve undesirable consequences of resource shortages. However, existing approaches for resource allocation have some limitations, e.g., they do not consider concurrent process instances or loops in business processes, which may greatly alter resource requirements. This paper introduces a novel approach for automatically allocating resources to process activities in a time optimal way that is designed to tackle the aforementioned shortcomings. We achieve this by representing the resource allocation problem in Answer Set Programming (ASP), which allows us to model the problem in an extensible, modular, and thus maintainable way, and which is supported by various efficient solvers.
Funded by the Austrian Research Promotion Agency (FFG), grant 845638 (SHAPE).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
From now on resources for the sake of brevity.
- 2.
Our encoding and the problem instances are provided at http://goo.gl/lzf1St.
- 3.
Please, note that events are instantaneous, and hence, they take zero time units.
- 4.
Since in the following we only consider instances of the same Petri Net, we will drop the subscript N in the predicates.
- 5.
Recall: in Petri nets representing business processes, activity transitions are empty squares while silent transitions are represented in filled squares (cf. Fig. 1a).
References
van der Aalst, W.M.P.: Petri net based scheduling. Oper. Res. Spektr. 18(4), 219–229 (1996)
Rozinat, A., Mans, R.S.: Mining CPN models: discovering process models with data from event logs. In: Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN, pp. 57–76 (2006)
Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool Publishers, San Rafael (2012)
Falkner, A.A., Schenner, G., Friedrich, G., Ryabokon, A.: Testing object-oriented configurators with ASP. In: Workshop on Configuration at ECAI 2012, pp. 21–26 (2012)
Murata, T.: Petri nets: properties, analysis and applications. IEEE 77(4), 541–580 (1989)
Lohmann, N., Verbeek, E., Dijkman, R.: Petri net transformations for business processes – a survey. In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. LNCS, vol. 5460, pp. 46–63. Springer, Heidelberg (2009)
Carlier, J., Pinson, E.: An algorithm for solving the job-shop problem. Manage. Sci. 35(2), 164–176 (1989)
Senkul, P., Toroslu, I.H.: An architecture for workow scheduling under resource allocation constraints. Inf. Syst. 30(5), 399–422 (2005)
Heinz, S., Beck, C.: Solving resource allocation/scheduling problems with constraint integer programming. In: COPLAS 2011, pp. 23–30 (2011)
Weglarz, J.: Project scheduling with continuously-divisible, doubly constrained resources. Manage. Sci. 27(9), 1040–1053 (1981)
Hendriks, M.H.A., Voeten, B., Kroep, L.: Human resource allocation in a multi-project R&D environment: resource capacity allocation and project portfolio planning in practice. Int. J. Project Manage. 17(3), 181–188 (1999)
Chevaleyre, Y., Dunne, P.E., Endriss, U., Lang, J., Lematre, M., Maudet, N., Padget, J., Phelps, S., Rodrguez-aguilar, J.A., Sousa, P.: Issues in multiagent resource allocation. Informatica 30, 3–31 (2006)
Zhang, C., Lesser, V., Shenoy, P.: A multi-agent learning approach to online distributed resource allocation. In: International Joint Conference on Artificial Intelligence (IJCAI 2009), vol. 1, pp. 361–366 (2009)
Yuhong Yan, Z., Maamar, W.S.: Integration of workflow and agent technology for business process management. In: Computer Supported Cooperative Work in Design, pp. 420–426 (2001)
Popova-Zeugmann, L.: Time Petri Nets. Springer, Heidelberg (2013)
Brewka, G., Eiter, T., Truszczyński, M.: Answer set programming at a glance. Commun. ACM 54(12), 92–103 (2011)
Calimeri, F., Gebser, M., Maratea, M., Ricca, F.: The Design of the Fifth Answer Set Programming Competition. CoRR (2014.)
Heule, M.J., Schaub, T.: What’s hot in the SAT and ASP competitions. In: AAAI (2015)
Leitner, M., Rinderle-Ma, S.: A systematic review on security in Process-Aware Information Systems Constitution, challenges, and future directions. Information and Software Technology 56(3), 273–293 (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Havur, G., Cabanillas, C., Mendling, J., Polleres, A. (2016). Automated Resource Allocation in Business Processes with Answer Set Programming. In: Reichert, M., Reijers, H. (eds) Business Process Management Workshops. BPM 2016. Lecture Notes in Business Information Processing, vol 256. Springer, Cham. https://doi.org/10.1007/978-3-319-42887-1_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-42887-1_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-42886-4
Online ISBN: 978-3-319-42887-1
eBook Packages: Computer ScienceComputer Science (R0)