Geodesic
Controllable deadlocks in parallel resource-constrained workflows
Modelirovanie i analiz informacionnyh sistem, Tome 21 (2014) no. 6, pp. 18-30.

Voir la notice de l'article provenant de la source Math-Net.Ru

We study the verification of the soundness property for workflow nets extended with resources. A workflow is sound if it terminates properly (no deadlocks and livelocks are possible). A class of resource-constrained workflow nets (RCWF-nets) is considered, where resources can be used by a process instance, but cannot be created or spent. Two sound RCWF-nets using the same set of resources can be put in parallel. This parallel composition may in some cases produce additional deadlocks. A problem of deadlock avoidance in parallel workflows is studied, some methods of deadlock search and control are presented.
Keywords: workflow, resource, soundness, parallel composition, deadlock, verification. 
@article{MAIS_2014_21_6_a2,
     author = {V. A. Bashkin and N. Yu. Panfilova},
     title = {Controllable deadlocks in parallel resource-constrained workflows},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {18--30},
     publisher = {mathdoc},
     volume = {21},
     number = {6},
     year = {2014},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2014_21_6_a2/}
}
TY  - JOUR
AU  - V. A. Bashkin
AU  - N. Yu. Panfilova
TI  - Controllable deadlocks in parallel resource-constrained workflows
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2014
SP  - 18
EP  - 30
VL  - 21
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2014_21_6_a2/
LA  - ru
ID  - MAIS_2014_21_6_a2
ER  - 
%0 Journal Article
%A V. A. Bashkin
%A N. Yu. Panfilova
%T Controllable deadlocks in parallel resource-constrained workflows
%J Modelirovanie i analiz informacionnyh sistem
%D 2014
%P 18-30
%V 21
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2014_21_6_a2/
%G ru
%F MAIS_2014_21_6_a2
V. A. Bashkin; N. Yu. Panfilova. Controllable deadlocks in parallel resource-constrained workflows. Modelirovanie i analiz informacionnyh sistem, Tome 21 (2014) no. 6, pp. 18-30. http://geodesic.mathdoc.fr/item/MAIS_2014_21_6_a2/

[1] W. van der Aalst, K. van Hee, Workflow Management: Models, Methods and Systems, MIT Press, 2002 | Zbl

[2] V. A. Bashkin, “Seti aktivnykh resursov”, Modelirovanie i analiz informatsionnykh sistem, 14:4 (2007), 13–19

[3] V. A. Bashkin, “Formalization of semantics of systems with unreliable agents by means of nets of active resources”, Programming and Computer Software, 36:4 (2010), 187–196 | DOI | MR | Zbl

[4] W. M. P. Van der Aalst, “The Application of Petri Nets to Workflow Management”, The Journal of Circuits, Systems and Computers, 8:1 (1998), 21–66 | DOI | MR

[5] W. M. P. Van der Aalst, K. M. van Hee, A. H. M. Hofstede, N. Sidorova, H. M. W. Verbeek, M. Voorhoeve, M. T. Wynn, “Soundness of workflow nets: classification, decidability, and analysis”, Formal Aspects of Computing, 23:3 (2011), 333–363 | DOI | MR | Zbl

[6] K. Barkaoui, L. Petrucci, “Structural Analysis of Workflow Nets with Shared Resources”, Computing Science Reports 98/7, Proc. of Workflow Management: Net-based Concepts, Models, Techniques and Tools, WFM98, Eindhoven University of Technology, 1998, 82–95

[7] K. Barkaoui, R. Ben Ayed, Z. Sbaï, “Workflow Soundness Verification based on Structure Theory of Petri Nets”, International Journal of Computing and Information Sciences, 5:1 (2007), 51–61

[8] V. A. Bashkin, I. A. Lomazova, “Petri nets and resource bisimulation”, Fundamenta Informaticae, 55:2 (2003), 101–114 | MR | Zbl

[9] V. A. Bashkin, I. A. Lomazova, “Resource equivalence in workflow nets”, Proc. of Concurrency, Specification and Programming, CS'2006, v. 1, Humboldt Universitat zu Berlin, 2006, 80–91

[10] V. A. Bashkin, I. A. Lomazova, “Soundness of Workflow Nets with an Unbounded Resource is Decidable”, Joint Proc. of Petri Nets and Software Engineering (PNSE'13) and Modeling and Business Environments (ModBE'13), CEUR, 989, 2013, 61–75

[11] P. Chrza̧stowski-Wachtel, “Sound Markings in Structured Nets”, Proc. of Concurrency, Specification and Programming, CS'2005, Warsaw University, 2005, 71–85

[12] J. Ezpeleta, J.-M. Colom, J. Martinez, “A Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems”, IEEE Transactions on Robotics and Automation, 11:2 (1995), 173–184 | DOI

[13] K. Van Hee, A. Serebrenik, N. Sidorova, M. Voorhoeve, “Soundness of Resource-Constrained Workflow Nets”, Proc. of ICATPN 2005, Lecture Notes in Computer Science, 3536, 2005, 250–267 | DOI | MR | Zbl

[14] I. A. Lomazova, I. V. Romanov, “Analyzing Compatibility of Services via Resource Conformance”, Fundamenta Informaticae, 128:1–2 (2013), 129–141 | MR | Zbl

[15] N. Sidorova, C. Stahl, “Soundness for resource-contrained workflow nets is decidable”, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 43:3 (2013), 724–729 | DOI