Interactive Petri nets

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

Volumn 43, Issue 2, 2013, Pages 291-302

  Liu, Guan Jun ^a   Jiang, Chang Jun ^b   Zhou, Meng Chu ^b,c   Xiong, Peng Cheng ^d  

^a SINGAPORE UNIVERSITY OF TECHNOLOGY AND DESIGN   (Singapore)

^b TONGJI UNIVERSITY   (China)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^d Georgia Institute of Technology   (United States)

Author keywords

Co NP hardness; Compatibility; Interactive Petri nets (IPNs); Liveness; Web service

Indexed keywords

CO-NP-HARDNESS; COMPATIBILITY; COMPATIBILITY PROBLEMS; CONCURRENT SYSTEMS; INTERACTIVE PETRI NETS (IPNS); LIVENESS; POTENTIAL PROBLEMS; WORK-FLOW SYSTEMS; CO-NP HARDNESS;

POLYNOMIAL APPROXIMATION; WEB SERVICES; WEBSITES; NP-HARD; PETRI NETS;

PETRI NETS; WEB SERVICES;

EID: 84885571442     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2012.2204741     Document Type: Article

References (73)

1. W. M. P. van der Aalst, "Interorganizational workflows: An approach based on message sequence charts and Petri nets," Syst. Anal. Model., vol. 34, no. 3, pp. 335-367, 1999.
2. W. M. P. van der Aalst, "Loosely coupled interorganizational wokflows: Modeling and analyzing workflows crossing organizational boundaries," Inf. Manage., vol. 37, pp. 67-75, 2000.
3. W.M. P. van der Aalst, K. M. van Hee, A. H. M. ter Hofstede, N. Sidorova, H. M. W. Verbeek, M. Voorhoeve, and M. T. Wynn, "Soundness of workflow nets: Classification, decidability, and analysis," Formal Aspects Comput., vol. 23, no. 3, pp. 333-363, May 2011.
4. W. M. P. van der Aalst, A. J. Mooij, C. Stahl, and K. Wolf, "Service interaction: Patterns, formalization, and analysis," in Proc. SFM, vol. 5569, LNCS, 2009, pp. 42-88.
5. W. M. P. van der Aalst, K. van Hee, P. Massuthe, N. Sidorova, and J. M. van der Wert, "Compositional service trees," in Proc. ICATPN, vol. 5606, LNCS, 2009, pp. 283-302.
6. P. Baldan, A. Corradini, H. Ehrig, and R. Heckel, "Compositional semantics for open Petri nets based on deterministic processes," Math. Struct. Comput. Sci., vol. 15, no. 1, pp. 1-35, Feb. 2005. (Pubitemid 44707043)
7. P. Baldan, A. Corradini, H. Ehrig, R. Heckel, and B. König, "Bisimilarity and behaviour preserving reconfigurations of open Petri nets," in Proc. CALCO, vol. 4624, LNCS, 2007, pp. 126-142.
8. B. Benatallah, Q. Z. Sheng, and M. Dumas, "The self-serv environment for Web services composition," IEEE. Internet Comput., vol. 7, no. 1, pp. 40-48, Jan./Feb. 2003.
9. D. Berardi, D. Calvanese, G. Giacomo, M. Lenzerini, and M. Mecella, "Automatic service composition based on behavioral descriptions," Int. J. Coop. Inf. Syst., vol. 14, no. 4, pp. 333-376, 2005. (Pubitemid 41053811)
10. M. Broy, I. H. Krüger, and M. Meisinger, "A formal model of services," ACM Trans. Soft. Eng. Methodol., vol. 16, no. 1, pp. 1-40, Feb. 2007.
11. T. Bultan, X. Fu, R. Hull, and J. Su, "Conversation specification: A new approach to design and analysis of E-service composition," in Proc. 12th Int. World Wide Web Conf., Budapest, Hungary, 2003, pp. 77-88.
12. "Business Process Modeling Notation," Business Process Modeling Initiative, 2006.
13. F. Chu and X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robot. Autom., vol. 13, no. 6, pp. 793-804, Dec. 1997. (Pubitemid 127770479)
14. J. Desel and J. Esparza, "Reachability in cyclic extended free-choice systems," Theor. Comput. Sci., vol. 114, no. 1, pp. 93-118, Jun. 1993. (Pubitemid 23695580)
15. J. Desel and J. Esparza, Free Choice Petri Nets. Cambridge, U.K.: Cambridge Univ. Press, 1995.
16. Y. Y. Du, C. J. Jiang, and M. C. Zhou, "A Petri net based correctness analysis of Internet stock trading systems," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 38, no. 1, pp. 93-99, Jan. 2008.
17. Y. Du, C. J. Jiang, and M. C. Zhou, "Modeling and analysis of real-time cooperative systems using Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 37, no. 5, pp. 643-654, Sep. 2007. (Pubitemid 47333601)
18. R. Eshuis and R. Wieringa, "Tool support for verifying UML activity diagrams," IEEE Trans. Softw. Eng., vol. 30, no. 7, pp. 437-447, Jul. 2004.
19. J. Esparza and M. Nielsen, "Decidability issues for Petri nets," Dept. Comput. Sci., Univ. Aarhus, Aarhus, Denmark, BRICS Rep. Ser., RS-94-8, 1994, ISSN: 0909-0878.
20. J. Ezpeleta, J. M. Colom, and J.Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 11, no. 2, pp. 173-184, Apr. 1995.
21. M. P. Fanti and M. C. Zhou, "Deadlock control methods in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 5-22, Jan. 2004.
22. M. P. Fanti, "Deadlock resolution strategy for automated manufacturing systems including conjunctive resource service," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 80-92, Jan. 2004.
23. M. P. Fanti, B. Maione, and B. Turchiano, "Comparing digraph and Petri net approaches to deadlock avoidance in FMS," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 30, no. 5, pp. 783-798, Oct. 2000.
24. H. Foster, S. Uchitel, J. Magee, and J. Kramer, "Model-based verification of Web service composition," in Proc. 18th IEEE Int. Conf. Autom. Soft. Eng., Montreal, QC, Canada, 2003, pp. 152-161.
25. X. Fu, T. Bultan, and J. Su, "Analysis of interacting BPELWeb services," in Proc. 13th Int. World Wide Web Conf., New York, 2004, pp. 621-630.
26. M. R. Garey and D. S. Johnson, Computer and Intractability: A Guide to the Theory of NP-Completeness. San Francisco, CA: Freeman, 1976.
27. C. Girault and R. Valk, Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications. Berlin, Germany: Springer-Verlag, 2002.
28. R. Heckel, "Open Petri nets as semantic model for workflow integration," Petri Net Technol. Commun.-Based Syst., vol. 2472, LNCS, pp. 281-294, 2003. (Pubitemid 37528816)
29. K. van Hee, N. Sidorova, and M. Voorhoeve, "Generalized soundness of workflow nets is decidable," in Proc. ICATPN, vol. 3099, LNCS, 2004, pp. 197-216.
30. B. Hruz and M. C. Zhou, Modeling and Control of Discrete Event Dynamic Systems. London, U.K.: Springer-Verlag, 2007.
31. H. Hu, M. C. Zhou, and Z. Li, "Supervisor design to enforce production ratio and liveness using Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 41, no. 2, pp. 201-212, Mar. 2011.
32. M. H. Kang, J. S. Park, and J. N. Froscher, "Access control mechanisms for inter-organizational workflow," in Proc. 6th ACM Symp. Access Control Models Technol., Chantilly, VA, May 2001, pp. 66-74.
33. K. Lautenbach, "Linear algebraic calculation of deadlocks and traps," in Concurrency and Nets, Advances in Petri Nets, K. Voss, H. J. Genrich, and G. Rozenberg, Eds. Berlin, Germany: Springer-Verlag, 1987.
34. Z.W. Li andM. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. New York: Springer-Verlag, 2009.
35. G. J. Liu and C. J. Jiang, "Incidence matrix based methods for computing repetitive vectors and siphons of Petri net," J. Inf. Sci. Eng., vol. 25, no. 1, pp. 121-136, Jan. 2009.
36. G. J. Liu and C. J. Jiang, "On conditions for the liveness of weakly persistent nets," Inform. Process. Lett., vol. 109, no. 16, pp. 967-970, Jul. 2009.
37. G. J. Liu, C. J. Jiang, and D. Y. Chao, "A necessary and sufficient condition for the liveness of normal nets," Comput. J., vol. 54, no. 1, pp. 157-163, Jan. 2011.
38. G. J. Liu, C. J. Jiang, andM. C. Zhou, "Process nets with channels," IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 42, no. 1, pp. 213-225, Jan. 2012.
39. G. J. Liu, C. J. Jiang, and M. C. Zhou, "Two simple deadlock prevention policies for S3PR based on key-resource/operation-place pairs," IEEE Trans. Autom. Sci. Eng., vol. 7, no. 4, pp. 945-957, Oct. 2010.
40. G. J. Liu, J. Sun, Y. Liu, and J. S. Dong, "Complexity of the soundness problem of bounded workflow nets," in Proc. ICATPN, vol. 7347, LNCS, 2012, pp. 92-107.
41. N. Lohmann, P. Massuthe, and K. Wolf, "Operating guidelines for finite-state services," in Proc. ICATPN, vol. 4546, LNCS, 2007, pp. 321-341.
42. A. Martens and S. Moser, "Diagnosing SCA components using WOMBAT," in Proc. BMP, vol. 4102, LNCS, 2006, pp. 378-388. (Pubitemid 44568340)
43. A. Martens, S. Moser, A. Gerhardt, and K. Funk, "Analyzing compatibility of BPEL processes," in Proc. AICT/ICIW, 2006, pp. 147-155.
44. P. Massuthe, A. Serebrenik, N. Sidorova, and K. Wolf, "Can I find a partner? Undecidability of partner existence for open nets," Inf. Process. Lett., vol. 108, no. 6, pp. 374-378, Nov. 2008.
45. P. Massuthe, W. Reisig, and K. Schmidt, "An operating guideline approach to the SOA," Ann. Math., Comput. Teleinformat., vol. 1, no. 3, pp. 35-43, 2005.
46. B. Mikolajczak and S. Joshi, "Specifying selected security features of inter-organizational workflows," in Proc. ICCIMCA/ICIAWTIC, Vienna, Austria, Nov. 28-30, 2005, pp. 958-963.
47. T. Murata, "Petri nets: Properties, analysis, and applications," Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
48. S. Narayanan and S. McIlraith, "Simulation, verification and automated composition of Web services," in Proc. 11th Int. World Wide Web Conf., Honolulu, HI, 2002, pp. 77-88.
49. A. Ohta and K. Tsuji, "NP-hardness of liveness problem of bounded asymmetric choice net," IEICE Trans. Fundam., vol. E85-A, no. 5, pp. 1071-1074, 2002. (Pubitemid 34962639)
50. L. Piroddi, R. Cordone, and I. Fumagalli, "Combined siphon and marking generation for deadlock prevention in Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 39, no. 3, pp. 650-661, May 2009.
51. O. Prisecaru and T. Jucan, "Interorganizational workflow nets: A Petri net based approach for modeling and analyzing interorganizational workflows," in Proc. 4th Int. Workshop Enterprise Org. Model. Simul., Montpellier, France, Jun. 16-17, 2008, pp. 64-78.
52. S. A. Reveliotis, Real-Time Management of Resource Allocations Systems: A Discrete Event Systems Approach. New York: Springer-Verlag, 2005.
53. C. Stahl and K. Wolf, "Deciding service composition and substitutability using extended operating guidelines," Data Knowl. Eng., vol. 68, no. 9, pp. 819-833, Sep. 2009.
54. J. Sun and J. S. Dong, "Design synthesis from interaction and statebased specification," IEEE Trans. Soft. Eng., vol. 32, no. 6, pp. 349-364, Jun. 2006. (Pubitemid 44194204)
55. W. Tan, Y. Fan, and M. C. Zhou, "A Petri net-based method for compatibility analysis and composition of Web services in business process execution language," IEEE Trans. Autom. Sci. Eng., vol. 6, no. 1, pp. 94-106, Jan. 2009.
56. F. L. Tiplea and C. Bocaneala, "Decidability results for soundness criteria of resource-constrained workflow nets," IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 42, no. 1, pp. 238-249, Jan. 2012.
57. F. L. Tiplea and A. Tiplea, "Petri net reactive modules," Theor. Comput. Sci., vol. 359, no. 1-3, pp. 77-100, Aug. 2006. (Pubitemid 44119064)
58. M. Uzam and M. C. Zhou, "An iterative synthesis approach to Petri netbased deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 37, no. 3, pp. 362-371, May 2007. (Pubitemid 46621522)
59. A. Valmari, "The state explosion problem," in Proc. Lectures Petri Nets I-Basic Models, Advances Petri Nets, vol. 1491, LNCS, 1998, pp. 429-528.
60. A.Wombacher, P. Fankhauser, B. Mahleko, and E. Neuhold, "Matchmaking for business processes based on choreographies," Int. J. Web Serv. Res., vol. 1, no. 4, pp. 14-32, 2004.
61. Workflow Management Coalition, Workfow Management Coalition Terminology and Glossary Document, 1999.
62. N. Q. Wu and M. C. Zhou, "Deadlock modeling and control of semiconductor track systems using resource oriented Petri nets," Int. J. Prod. Res., vol. 45, no. 15, pp. 3439-3456, Aug. 2007.
63. N. Q. Wu and M. C. Zhou, "Shortest routing of bidirectional automated guided vehicles avoiding deadlock and blocking," IEEE/ASME Trans. Mechatron., vol. 12, no. 1, pp. 63-72, Feb. 2007. (Pubitemid 46444219)
64. N. Q. Wu and M. C. Zhou, "Deadlock-free scheduling for semiconductor track systems based on resource oriented Petri nets," OR Spectr., vol. 29, no. 3, pp. 421-443, 2007.
65. N. Q. Wu and M. C. Zhou, System Modeling and Control With Resource-Oriented Petri Nets. NewYork: CRC Press, 2010.
66. N. Q. Wu, M. C. Zhou, and F. Chu, "A Petri net based heuristic algorithm for realizability of target refining schedules in oil refinery," IEEE Trans. Autom. Sci. Eng., vol. 5, no. 4, pp. 661-676, Oct. 2008.
67. Z. H. Wu, S. Deng, Y. Li, and J. Wu, "Computing compatibility in dynamic service composition," Knowl. Inf. Syst., vol. 19, no. 1, pp. 107-129, Apr. 2009.
68. K. Xing, M. C. Zhou, F. Wang, H. Liu, and F. Tian, "Resource transition circuits and siphons for deadlock control of automated manufact uring systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 41, no. 1, pp. 74-84, Jan. 2011.
69. P. C. Xiong, Y. Fan, andM. C. Zhou, "A Petri net approach to analysis and composition of Web services," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 40, no. 2, pp. 376-387, Mar. 2010.
70. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. London, U.K.: Kluwer, 1993.
71. M. C. Zhou, F. DiCesare, and A. A. Desrochers, "A hybrid methodology for synthesis of Petri nets for manufacturing systems," IEEE Trans. Robot. Autom., vol. 8, no. 3, pp. 350-361, Jun. 1992.
72. M. C. Zhou, F. DiCesare, and D. Rudolph, "Design and implementation of a Petri net based supervisor for a flexible manufacturing system," Automatica, vol. 28, no. 6, pp. 1199-1208, Nov. 1992. (Pubitemid 23587956)
73. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.