Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets

IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans

Volumn 42, Issue 1, 2012, Pages 238-249

  Tiplea, Ferucio Laurentiu ^a   Bocăneală, Corina ^b  

^a ALEXANDRU IOAN CUZA UNIVERSITY OF IASI   (Romania)

^b DUNAREA DE JOS UNIVERSITY OF GALATI   (Romania)

Author keywords

Decidability; Petri net; resource constrained workflow net (RCWF net); soundness; workflow net; workflow system

Indexed keywords

PETRI NETS;

CORRECTNESS CRITERION; NATURAL EXTENSION; RESOURCE-CONSTRAINED WORKFLOW NETS; RESOURCE-CONSTRAINED WORKFLOW NETS (RCWF NET); SOUNDNESS; STRUCTURAL SOUNDNESS; WORK-FLOW SYSTEMS; WORKFLOW NETS;

COMPUTABILITY AND DECIDABILITY;

EID: 84655162161     PISSN: 10834427     EISSN: 15582426     Source Type: Journal    
DOI: 10.1109/TSMCA.2011.2147310     Document Type: Article

References (34)

1. D. Georgakopoulos, M. Hornick, and A. Sheth, “A overview of workflow management: From process modeling to workflow automation infrastructure,” Distrib. Parallel Databases, vol. 3, no. 2, pp. 119–153, Apr. 1995.
2. C. Frye, “Move to workflow provokes business process scrutiny,” Softw. Mag., vol. 14, no. 4, Apr. 1994.
3. W. M. P. van der Aalst, “Three good reasons for using a Petri net based workflow management system,” in Proc. Int. Working IPIC, Cambridge, MA, 1996, pp. 179–201.
4. W. Sadiq and M. Orlowska, “On correctness issues in conceptual modeling of workflows,” in Proc. 5th Int. ECIS, Cork, Ireland, 1997, pp. 19–21.
5. N. R. Adam, V. Atluri, and W. K. Huang, “Modeling and analysis of workflows using Petri nets,” J. Intell. Inf. Syst., vol. 10, no. 2, pp. 131–158, Mar./Apr. 1998.
6. S. Ling and H. Schmidt, “Time Petri nets for workflow modeling and analysis,” in Proc. IEEE Int. Conf. SMC, 2000, vol. 4, pp. 3039–3044.
7. Q. Li, Y. S. Fan, and M. C. Zhou, “Approximate performance analysis of workflow model,” in Proc. IEEE Int. Conf. Syst., Man Cybern., 2003, vol. 2, pp. 1175–1180, Los Alamitos, CA: IEEE Comput. Soc. Press.
8. Q. Li, Y. S. Fan, and M. C. Zhou, “Timing constraint workflow nets for workflow analysis,” IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 32, no. 2, pp. 179–193, Mar. 2003.
9. J. Q. Li, Y. S. Fan, and M. C. Zhou, “Performance modeling and analysis of workflow,” IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 2, pp. 229–242, Mar. 2004.
10. F. L. Tiplea and G. I. Macovei, “Timed workflow nets,” in Proc. 7th Int. Symp. Symbolic Numer. Algorithms Scie. Comput., Timi$$oara, Romania, Sep. 2005, pp. 361–366.
11. F. L. Tiplea and G. I. Macovei, “E-timed workflow nets,” in Proc. 8th Int. Symp. Symbolic Numer. Algorithms Sci. Comput., Timi$$oara, Romania, Sep. 2006, pp. 423–429.
12. H. Wang and Q. Zeng, “Modeling and analysis for workflow constrained by resources and nondeterministic time: An approach based Petri nets,” IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 4, pp. 802–817, Jul. 2008.
13. F. L. Tiplea and G. I. Macovei, “Soundness for S- and A-timed workflow nets is undecidable,” IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 39, no. 4, pp. 924–932, Jul. 2009.
14. K. Barkaoui and L. Petrucci, “Structural analysis of workflow nets with shared resources,” in Proc. Workshop “Workflow Management—. Net-based Concepts, Models, Techniques and Tools” WFM, W. v. d. Aalst, Ed., Lisbon, Portugal, Jun. 1998, pp. 82–95.
15. S. Sadiq, M. Orlowska, W. Sadiq, and C. Foulger, “Data flow and validation in workflow modelling,” in Proc. 15th ADC, K. -D. Schewe and H. Williams, Eds., Dunedin, New Zealand, Jan. 2004, vol. 27. Darlinghurst, Australia: Australian Comput. Soc., Inc., pp. 207–214.
16. K. van Hee, N. Sidorova, and M. Voorhoeve, “Resource-constrained workflow nets,” in Proc. Concurrency Specification Program., ser. Informatik-Bericht, G. Lindemann, Ed., Caputh, Germany, Sep. 2004, vol. 170, pp. 166–177.
17. K. van Hee, N. Sidorova, and M. Voorhoeve, “Resource-constrained workflow nets,” Fundamenta Informaticae, vol. 71, no. 2/3, pp. 243–257, Aug. 2006.
18. H. Li, Y. Yang, and T. Y. Chen, “Resource constraints analysis of workflow specifications,” J. Syst. Softw., vol. 73, no. 2, pp. 271–285, Oct. 2004.
19. M. Netjes, W. M. P. van der Aalst, and H. A. Reijers, “Analysis of resource-constrained processes with colored Petri nets,” in Proc. 6th Workshop Pract. Use Colored Petri Nets CPN Tools, K. Jensen, Ed., Aarhus, Denmark, Oct. 2005, pp. 251–266, DAIMI.
20. K. Barkaoui, R. B. Ayed, and Z. Sbai, “Workflow soundness verification based on structure theory of Petri nets,” Int. J. Comput. Inf. Sci., vol. 5, no. 1, pp. 51–61, Apr. 2007.
21. C. Oliveira, R. Lima, T. Andre, and H. A. Reijers, “Modeling and analyzing resource-constrained business processes,” in Proc. IEEE Int. Conf. Syst., Man, Cybern., San Antonio, TX, Oct. 2009, pp. 2824–2830.
22. O. Prisecaru, “The analysis of resource constrained workflows using Petri nets,” in Proc. 8th Int. Workshop MSVVEIS, Funchal, Madeira, Portugal, 2010, pp. 20–29.
23. W. M. P. van der Aalst, “Structural characterization of sound workflow nets,” Eindhoven Univ. Technol., Eindhoven, The Netherlands, Tech. Rep. 23, 1996.
24. K. van Hee, N. Sidorova, and M. Voorhoeve, “Generalised soundness of workflow nets is decidable,” in Proc. 25th Int. Conf. Appl. Theory Petri Nets, vol. 3099, Lecture Notes in Computer Science, Bologna, Italy, 2004, pp. 197–215.
25. F. L. Tiplea and D. C. Marinescu, “Structural soundness of workflow nets is decidable,” Inf. Process. Lett., vol. 96, no. 2, pp. 54–58, Oct. 2005.
26. F. L. Tiplea and A. Tiplea, “Instantiating nets and their applications to workflow nets,” in Proc. 7th Int. Symp. Symbolic Numer. Algorithms Sci. Comput., Timisoara, Romania, Sep. 2005, pp. 1–7.
27. K. Barkaoui and R. B. Ayed, “Uniform verification of workflow soundness,” Trans. Inst. Meas. Control, vol. 33, no. 1, pp. 133–148, Feb. 2010.
28. K. Barkaoui, H. Boucheneb, and A. Hicheur, “Modeling and analyzing time-constrained flexible workflows with time recursive Petri nets,” in Proc. 5th Workshop Web Services Formal Methods, W. v. d. Aalst, Ed., Milan, Italy, Sep. 2008.
29. K. van Hee, A. Serebrenik, N. Sidorova, and M. Voorhoeve, “Soundness of resource-constrained workflow nets,” in Proc. 26th Int. Conf. Appl. Theory Petri Nets, vol. 3536, Lecture Notes in Computer Science, G. Ciardo and P. Darondeau, Eds., 2005, pp. 250–267.
30. C. Girault and R. Valk, Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. Berlin, Germany: SpringerVerlag, 2003.
31. J. Esparza and M. Nielsen, “Decidability Issues for Petri Nets,” Dept. Comput. Sci., Univ. Aarhus, Aarhus, Denmark, BRICS Tech. Rep. RS-94-8, 1994.
32. J. Esparza, “Decidability and complexity of Petri net problems—An introduction,” Lectures Petri Nets I, Basic Models, vol. 1491, Lecture Notes in Computer Science, pp. 374–428, 1998.
33. M. C. Zhou and N. Q. Wu, System Modeling and Control with Resource-Oriented Petri Nets. New York: CRC Press, 2009.
34. Z. W. Li, N. Q. Wu, and M. C. Zhou, “Deadlock control of automated manufacturing systems based on Petri nets—A literature review,” Sch. Electro-Mech. Eng., Xidian Univ., Xiʼnan, China, 2010.