Action-Evolution Petri Nets: a Framework for Modeling and Solving Dynamic Task Assignment Problems

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

4 Citaten (Scopus)
4 Downloads (Pure)

Samenvatting

Dynamic task assignment involves assigning arriving tasks to a limited number of resources in order to minimize the overall cost of the assignments. To achieve optimal task assignment, it is necessary to model the assignment problem first. While there exist separate formalisms, specifically Markov Decision Processes and (Colored) Petri Nets, to model, execute, and solve different aspects of the problem, there is no integrated modeling technique. To address this gap, this paper proposes Action-Evolution Petri Nets (A-E PN) as a framework for modeling and solving dynamic task assignment problems. A-E PN provides a unified modeling technique that can represent all elements of dynamic task assignment problems. Moreover, A-E PN models are executable, which means they can be used to learn close-to-optimal assignment policies through Reinforcement Learning (RL) without additional modeling effort. To evaluate the framework, we define a taxonomy of archetypical assignment problems. We show for three cases that A-E PN can be used to learn close-to-optimal assignment policies. Our results suggest that A-E PN can be used to model and solve a broad range of dynamic task assignment problems.

Originele taal-2Engels
TitelBusiness Process Management
Subtitel21st International Conference, BPM 2023, Utrecht, The Netherlands, September 11–15, 2023, Proceedings
RedacteurenChiara Di Francescomarino, Andrea Burattin, Christian Janiesch, Shazia Sadiq
Plaats van productieCham
UitgeverijSpringer
Pagina's216-231
Aantal pagina's16
ISBN van elektronische versie978-3-031-41620-0
ISBN van geprinte versie978-3-031-41619-4
DOI's
StatusGepubliceerd - 1 sep. 2023

Publicatie series

NaamLecture Notes in Computer Science (LNCS)
Volume14159
ISSN van geprinte versie0302-9743
ISSN van elektronische versie1611-3349

Financiering

Acknowledgements. This work is supported by Digital Research Centre Denmark (DIREC). We acknowledge Søren Debois for sharing his Isabelle/HOL DCR Graph formalization. Acknowledgements. Special thanks to our advisors Xixi Lu, Niels Martin, Vinicius Stein Dani, and Lisa Zimmermann, who have helped with their research to fill some of the gaps in supporting process analyst. F. Zerbato and B. Weber are supported by the ProMiSE project funded by the SNSF under Grant No.: 200021_197032} The research by Jan Mendling was supported by the Einstein Foundation Berlin under grant EPP-2019-524 and by the German Federal Ministry of Education and Research under grant 16DII133. Acknowledgement. This research was supported by the Flemish Fund for Scientific Research (FWO) with grant number G0B6922N. – Channel Networks: In channel networks, multiple channels are supported by one root contract. In our current design, the channel smart contract is appli-cation specific. Exploring a design where a contract can support multiple processes could pave the way toward a network of cost efficient, blockchain-based choreographies. Acknowledgements. This work has been funded by the European Research Council (PIX Project) and the National Science and Engineering Research Council (NSERC) grants held by Opher Baron, Dmitry Krass, and Arik Senderovich. Supported by the EPSRC Prosperity Partnership FAIR (grant number EP/V056883/1). MK receives funding from the ERC under the European Union’s Horizon 2020 research and innovation programme (FUN2MODEL, grant agreement No. 834115). Acknowledgments. Andrei Tour was supported via an “Australian Government Research Training Program Scholarship.” Artem Polyvyanyy was in part supported by the Australian Research Council project DP220101516. First author supported by the Karlsruhe House of Young Scientists Research Travel Grant. Second author supported by the International Postdoctoral Fellowship (IPF) Grant (Number: 1031574) from the University of St. Gallen, Switzerland. Acknowledgement. The research that led to this publication was partly funded by the European Supply Chain Forum (ESCF) and the Eindhoven Artificial Intelligence Systems Institute (EAISI) under the AI Planners of the Future program. Jan Mendling: The research by Jan Mendling was supported by the Einstein Foundation Berlin under grant EPP-2019-524 and by the German Federal Ministry of Education and Research under grant 16DII133. Acknowledgements. This work has been partly funded by SAP SE in the context of the research project “Building Semantic Models for the Process Mining Pipeline” and by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) – project number 277991500. This work has been partially supported by projects PID2021-126227NB-C21/ AEI/10.13039/501100011033/ FEDER, UE; TED2021-131023B-C22/ AEI/10.13039/501100011033/ Unión Europea NextGenerationEU/PRTR, and US-1381595 (Junta de Andalucía/FEDER, UE).

FinanciersFinanciernummer
Eindhoven University of Technology
Universität St. Gallen
European Union’s Horizon Europe research and innovation programme834115
Natural Sciences and Engineering Research Council of Canada
European Research Council
Australian Research CouncilDP220101516
Deutsche Forschungsgemeinschaft277991500
Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung200021_197032
Bundesministerium für Bildung und Forschung16DII133
Fonds Wetenschappelijk OnderzoekG0B6922N
European Regional Development FundTED2021-131023B-C22/ AEI/10.13039/501100011033

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Action-Evolution Petri Nets: a Framework for Modeling and Solving Dynamic Task Assignment Problems'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit