Affiliations: Facultad de Informática, Universidad Complutense de Madrid, Spain. mrmartos@estumail.ucm.es | Facultad de Informática, Universidad Complutense de Madrid, Spain. fernandorosa@sip.ucm.es
Note: [] Authors supported by the Spanish projects STRONGSOFT TIN2012-39391-C04-04, DESAFIOS10 TIN2009-14599-C03-01 and PROMETIDOS S2009/TIC-1465. Address for correspondence: Facultad de Informática. C\Prof. José García Santesmases, s/n - 28040 Madrid, Spain
Note: [] Authors supported by the Spanish projects STRONGSOFT TIN2012-39391-C04-04, DESAFIOS10 TIN2009-14599-C03-01 and PROMETIDOS S2009/TIC-1465. Address for correspondence: Facultad de Informática. C\Prof. José García Santesmases, s/n - 28040 Madrid, Spain
Abstract: We extend workflow Petri nets (wf-nets) with discrete prices, by associating a price to the execution of a transition and to the storage of tokens. We first define the safety and the soundness problems for priced wf-nets. A priced wf-net is safe if no execution costs more than a given budget. The soundness problem is that of deciding whether the workflow can always terminate properly, where in the priced setting “properly” also means that the execution does not cost more than a given threshold. Then, we study safety and soundness of resource-constrained workflow nets (rcwf-nets), an extension of wf-nets for the modeling of concurrent executions of a workflow, sharing some global resources. We develop a framework in which to study safety and soundness for priced rcwf-nets, that is parametric on the cost model. Then, that framework is instantiated, obtaining the cases in which the sum, the maximum, the average and the discounted sum of the prices of all instances are considered. We study the decidability and the complexity of these properties, together with their relation.
