Analysis and application of logical petri nets to E-commerce systems

IEEE Transactions on Systems, Man, and Cybernetics: Systems

Volumn 44, Issue 4, 2014, Pages 468-481

  Du, YuYue ^a   Qi, Liang ^b   Zhou, MengChu ^c,d  

^a SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^b TONGJI UNIVERSITY   (China)

^c Ministry of Education   (China)

^d NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Discrete event systems; e commerce; logical Petri net (LPN); reachability tree; state equation

Indexed keywords

BATCH DATA PROCESSING; DISCRETE EVENT SIMULATION; ELECTRONIC COMMERCE; EQUATIONS OF STATE; FORESTRY;

CO-OPERATIVE SYSTEMS; COMPUTATIONAL EFFORT; E-COMMERCE SYSTEMS; LOGICAL PETRI NET (LPN); MATCHING METHODS; REACHABILITY TREE; SPECIAL STRUCTURE; STATE EQUATIONS;

PETRI NETS;

ALGORITHMS; COMMERCE; DATA PROCESSING; DIFFERENTIAL EQUATIONS; FORESTRY;

EID: 84896996614     PISSN: 21682216     EISSN: 21682232     Source Type: Journal    
DOI: 10.1109/TSMC.2013.2277696     Document Type: Article

References (38)

1. M. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. London, U.K.: Kluwer, 1993.
2. 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.
3. H. S. Hu, M. C. Zhou, and Z. W. Li, "Liveness enforcing supervision of video streaming systems using nonsequential Petri nets," IEEE Trans. Multimedia, vol. 11, no. 8, pp. 1457-1465, Dec. 2009.
4. L. Xu, H. Liu, S. Wang, and K. Wang, "Modeling and analysis techniques for cross-organizational workflow systems," Syst. Res. Behavioral Sci., vol. 26, no. 3, pp. 367-389, 2009.
5. J. C. Wang, Y. Deng, and G. Xu, "Reachability analysis of real-time systems using time Petri nets," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 30, no. 5, pp. 725-736, Oct. 2000.
6. R. Robidoux, H. Xu, L. Xing, and M. C. Zhou, "Automated verification of dynamic reliability block diagrams using colored Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 40, no. 2, pp. 337-351, Mar. 2010.
7. K. Jensen and L. M. Kristensen, Coloured Petri Nets: Modeling and Validation of Concurrent Systems. New York, NY, USA: Springer-Verlag, 2009.
8. W. Van der Aalst, "Loosely coupled interorganizational workflows: Modeling and analyzing workflows crossing organizational boundaries," Inf. Manage., vol. 37, no. 1, pp. 67-75, 2000.
9. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. New York, NY, USA: Springer, 2009.
10. B. Hruz and M. C. Zhou, Modeling and Control of Discrete Event Dynamic Systems. London, U.K.: Springer, 2007.
11. M. C. Zhou and M. P. Fanti, Deadlock Resolution in Computer-Integrated Systems. New York, NY, USA: Marcel Dekker, 2005.
12. A. L. Feller, T. Wu, D. L. Shunk, and J. W. Fowler, "Petri net translation patterns for the analysis of ebusiness collaboration messaging protocols," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 39, no. 5, pp. 1022-1024, Sep. 2009.
13. Y. Y. Du and B. Q. Guo, "Logic Petri nets and equivalency, "Inf. Technol. J., vol. 8, no. 1, pp. 95-100, 2009.
14. Y. Y. Du and C. J. Jiang, "Formal representation and analysis of batch stock trading systems by logical Petri net workflows," Lecture Notes in Computer Science. Berlin, Germany: Springer-Verlag, 2002, pp. 221-225.
15. Y. Y. Du, C. J. Jiang, and M. C. Zhou, "A Petri net-based model for verification of obligations and accountability in cooperative systems," IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 39, no. 2, pp. 299-308, Mar. 2009.
16. N. Busi, "Analysis issues in Petri nets with inhibitor arcs," Theor. Comput. Sci., vol. 275, nos. 1-2, pp. 127-177, 2002. (Pubitemid 34249554)
17. Y. Y. Du, L. Qi, and M. C. Zhou, "A vector matching method for analysing logic Petri nets," Enterprise Inf. Syst., vol. 5, no. 4, pp. 449-468, 2011.
18. J. Wang, Timed Petri Nets: Theory and Application, London, U.K.: Kluwer, 1998.
19. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
20. K. Wang and L. Y. Yuan, "First-order logic characterization of program properties," IEEE Trans. Knowl. Data Eng., vol. 6, no. 4, pp. 518-533, Aug. 1994.
21. W. H. Sanders and J. F. Meyer, "Stochastic activity networks: Formal definitions and concepts," Lecture Notes in Computer Science vol. 2090. New York, NY, USA: Springer-Verlag, 2001, pp. 315-343. (Pubitemid 33332568)
22. Y. Chen, Z. Li, and M. C. Zhou, "Behaviorally optimal and structurally simple liveness-enforcing supervisors of flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 3, pp. 615-629, May 2012.
23. Z. Ding, C. Jiang, and M. C. Zhou, "Design, analysis and verification of real-time systems based on time Petri net refinement," ACM Trans. Embedded Comput. Syst., vol. 12, no. 1, p. 4:1-18, Jan. 2013.
24. M. Gao, M. C. Zhou, and Y. Tang, "Intelligent decision making in disassembly process based on fuzzy reasoning Petri nets," IEEE Trans. Syst., Man, Cybern. B, vol. 34, no. 5, pp. 2029-2034, Oct. 2004.
25. J. Li, M. C. Zhou, and X. Dai, "Algebraic reduction and refinement of Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 5, pp. 1244-1255, Sep. 2012.
26. Z. Li, M. C. Zhou, and M. D. Jeng, "A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions," IEEE Trans. Autom. Sci. Eng., vol. 5, no. 1, pp. 182-188, Jan. 2008.
27. D. Liu, Z. W. Li, and M. C. Zhou, "Liveness of an extended S3PR," Automatica, vol. 46, no. 6, pp. 1008-1018, Jun. 2010.
28. G. Liu, C. Jiang, M. Zhou, and P. Xiong, "Interactive Petri nets," IEEE Trans. Syst. Man, Cybern. Syst., vol. 43, no. 2, pp. 291-302, Mar. 2013.
29. Y. Qiao, N. Wu, and M. C. Zhou, "Petri net modeling and wafer sojourn time analysis of single-arm cluster tools with residency time constraint and activity time variation," IEEE Trans. Semicond. Manuf., vol. 25, no. 3, pp. 432-436, Aug. 2012.
30. 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.
31. W. Tan and M. C. Zhou, Business and Scientific Workflows: A Service-Oriented Approach. Hoboken, NJ, USA: Wiley, 2013.
32. P. Wang, Z. Ding, C. Jiang, and M. C. Zhou, "A Web service based public-oriented personalized health care platform," IEEE Trans. Syst., Man, Cybern. Syst., vol. 43, no. 4, pp. 941-957, Jul. 2013.
33. S. Wang, M. C. Zhou, Z. Li, and C. Wang, "A new modified reachability tree approach and its applications to unbounded Petri nets," IEEE Trans. Syst., Man, Cybern. Syst., vol. 43, no. 4, pp. 932-940, Jul. 2013.
34. N. Wu and M. C. Zhou, "Deadlock resolution in automated manufacturing systems with robots," IEEE Trans. Autom. Sci. Eng., vol. 4, no. 3, pp. 474-480, Jul. 2007. (Pubitemid 47159786)
35. N. Wu, F. Chu, C. Chu, and M. C. Zhou, "Petri net-based scheduling of single-arm cluster tools with reentrant atomic layer deposition processes," IEEE Trans. Autom. Sci. Eng., vol. 8, no. 1, pp. 42-55, Jan. 2011.
36. K. Xing, L. Han, and M. C. Zhou, "Deadlock-free genetic scheduling algorithm for automated manufacturing systems based on deadlock control policy," IEEE Trans. Syst., Man, Cybern. B, vol. 42, no. 3, pp. 603-615, Jun. 2012.
37. S. G. Wang, C. Y. Wang, and M. C. Zhou, "Design of optimal monitor-based supervisors for a class of Petri nets with uncontrollable transitions," IEEE Trans. Syst., Man, Cybern. Syst., vol. 43, no 5, pp. 1248-1255, Sep. 2013.
38. N. Wu, M. C. Zhou, F. Chu, and C. Chu, "A Petri-net-based scheduling strategy for dual-arm cluster tools with wafer revisiting," IEEE Trans. Syst., Man, Cybern. Syst., vol. 43, no 5, pp. 1182-1193, Sep. 2013.