E-Net modeling and analysis of emergency response processes constrained by resources and uncertain durations

IEEE Transactions on Systems, Man, and Cybernetics: Systems

Volumn 45, Issue 1, 2015, Pages 84-96

  Liu, Cong ^a   Zeng, Qingtian ^a   Duan, Hua ^a   Zhou, MengChu ^b,c   Lu, Faming ^a,b   Cheng, Jiujun ^b  

^a SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^b Tongji University   (China)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Discrete event systems; Emergency response process; Petri nets; Resource allocation; Timed petri nets; Uncertain duration; Workflow management

Indexed keywords

DISASTER PREVENTION; DISCRETE EVENT SIMULATION; FORMAL METHODS; PETRI NETS; RESOURCE ALLOCATION; UNCERTAINTY ANALYSIS; WORK SIMPLIFICATION;

BUSINESS PROCESS; EMERGENCY RESPONSE; FORMAL MODEL; RESOURCE MANAGEMENT; TIMED PETRI NET; UNCERTAIN DURATION; WHOLE PROCESS; WORKFLOW MANAGEMENTS;

EMERGENCY SERVICES;

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

References (67)

1. K. Kang, "Application of code approach for emergency evacuation in a rail station," Fire Technol., vol. 43, no. 4, pp. 331-346, 2007.
2. J. Wang, "Emergency healthcare workflow modeling and timeliness analysis," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 42, no. 6, pp. 1323-1331, Nov. 2012.
3. G. Chu and J. Wang, "A stochastic analysis on occupant evacuation time under emergency conditions," in Proc. 2011 2nd IEEE Int. Conf. Emergency Manag. Manag. Sci., Beijing, China.
4. L. Chen and Q. Tang, "Path selection algorithms for emergency logistics based time expectation," in Proc. Int. Conf. Logist. Eng. Manag., Chengdu, China, 2010.
5. J. Li and C. Li, "Simulation and analysis of time-consumption of emergency supplies loading services based on queue theory," in Proc. Multimodal Approach Sustained Transp. Syst. Develop. Inf., Technol., Implement., Wuhan, China, 2011.
6. H. Cheng and X. Yang, "Theory model for earthquake emergency shelter choice based on the shortest overall evacuation time," in Proc. Multimodal Approach Sustained Transp. Syst. Develop. Inf., Technol., Implement., Wuhan, China, 2011.
7. F. Fiedrich, F. Gehbauer, and U. Rickers, "Optimized resource allocation for emergency response after earthquake disasters," Safety Sci., vol. 35, no. 1, pp. 41-57, 2000.
8. J. Tsenga, M. Liub, R. Changc, J. Sud, and C. Shua, "Emergency response plan of chlorine gas for process plants in Taiwan," J. Loss Prev. Process Ind., vol. 21, no. 4, pp. 393-399, 2008.
9. J. Wang, W. Tepfenhart, and D. Rosca, "Emergency response workflow resource requirements modeling and analysis," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 39, no. 3, pp. 270-283, May 2009.
10. C. Sell and I. Braun, "Using a workflow management system to manage emergency plans," in Proc. 6th Int. ISCRAM Conf., Gothenburg, Sweden, May 2009.
11. A. Chen and F. Peña-Mora, "Decentralized approach considering spatial attributes for equipment utilization in civil engineering disaster response," J. Comput. Civil Eng., vol. 25, no. 6, pp. 457-470, 2011.
12. M. Reznek et al., "Emergency medicine crisis resource management (EMCRM): Pilot study of a simulation-based crisis management course for emergency medicine," Acad. Emerg. Med., vol. 10, no. 2, pp. 386-389, 2003.
13. H. Wang and Q. Zeng, "Modeling and analysis for workflow constrained by resources and nondetermined time: An approach based on Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 4, pp. 802-817, Jul. 2008.
14. Q. Zeng, H. Wang, D. Xu, H. Duan, and Y. Han, "Conflict detection and resolution for workflows constrained by resources and non-determined durations," J. Syst. Softw., vol. 819, pp. 1491-1504, Sep. 2008.
15. J. Li, Y. Fan, and M. Zhou, "Performance modeling and analysis of workflow," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 2, pp. 229-242, Mar. 2004.
16. G. Janssens, J. Verelst, and B. Weyn, "Techniques for modeling workflows and their support for reuse," in Business and Process Management: Models, Techniques and Empirical Studies, W. van der Aalst, Ed. Berlin, Germany: Springer, 2000, pp. 1-15.
17. W. M. P. Aalst, "The application of Petri nets to workflow management," J. Circuits Syst. Comput., vol. 8, no. 1, pp. 21-66, 1998.
18. 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, 1998.
19. J. Li, Y. Fan, and M. C. Zhou, "Timing constraint workflow nets for workflow analysis," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 33, no. 2, pp. 179-193, Mar. 2003.
20. J. Li, Y. Fan, and M. C. Zhou, "Approximate performance analysis of workflow model," in Proc. IEEE Int. Conf. Syst., Man Cybern., vol. 2. Oct. 2003, pp. 1175-1180.
21. S. Ling and H. Schmidt, "Time Petri nets for workflow modelling and analysis," in Proc. IEEE Int. Conf. Syst., Man Cybern., Nashville, TN, USA, 2000, pp. 3039-3044.
22. W. Tan and M. C. Zhou, Business and Scientific Workflows: A Service-Oriented Approach. Hoboken, NJ, USA: Wiley, 2013.
23. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
24. R. Zurawski and M. C. Zhou, "Petri Nets and Industrial Applications: A Tutorial," IEEE Trans. Ind. Electron., vol. 41, no. 6, pp. 567-583, Dec. 1994.
25. W. Reisig, Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies. Berlin, Germany: Springer, 2013.
26. J. Wang, Timed Petri Nets: Theory and Application. Boston, MA, USA: Kluwer Academic Publishers, 1998.
27. C. A. Petri, "Kommunikation mit Automaten," Ph.D. dissertation Instrum. Math., Univ. Darmstadt, Bonn, Germany, 1962.
28. W. Reisig, Petri Nets: An Introduction. Berlin, Germany: Springer-Verlag, 1985.
29. Y. Y. Du, C. J. Jiang, and M. C. Zhou, "A petri nets 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.
30. 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.
31. B. Hruz and M. C. Zhou, Modeling and Control of Discrete Event Dynamic Systems. London, U.K., Springer, 2007.
32. N. Q. Wu and M. C. Zhou, System Modeling and Control with Resource-Oriented Petri Nets. New York, NY, USA: CRC Press, 2010.
33. M. C. Zhou and M. P. Fanti, Deadlock Resolution in Computer-Integrated Systems. New York, NY, USA: Marcel Dekker, Jan. 2005.
34. W. M. P. Aalst, "Three good reasons for using a Petri-net-based workflow management system," in Proc. Int. Work. Conf. Inf. Process Integr. Enterprises, Cambridge, MA, USA, Nov. 1996, pp. 179-201.
35. C. Liu, Q. Zeng, J. Zou, F. Lu, and Q. Wu, "Invariant decomposition conditions for Petri nets based on the index of transitions," Inf. Technol. J., vol. 11, no. 7, pp. 768-774, 2012.
36. T. Murata and D. Zhang, "A predicate-transition net model for parallel interpretation of logic programs," IEEE Trans. Softw. Eng., vol. 14, no. 4, pp. 481-497, Apr. 1988.
37. S. X. Sun, Q. Zeng, and H. Wang, "Process-mining-based workflow model fragmentation for distributed execution," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 41, no. 2, pp. 294-310, Mar. 2011.
38. 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.
39. Y. Y. Du, L. Qi, and M. C. Zhou, "A vector matching method for analyzing logic Petri nets," Enterprise Inf. Syst., vol. 5, no. 4, pp. 449-468, 2011.
40. Y. Y. Du, L. Qi, and M. C. Zhou, "Analysis and application of logical Petri nets to e-Commerce systems," IEEE Trans. Syst., Man, Cybern., Syst., vol. 44, no. 4, pp. 468-481, Apr. 2014.
41. W. Tan and Y. Fan, "Dynamic workflow model fragmentation for distributed execution," Comput. Ind., vol. 58, no. 5, pp. 381-391, 2007.
42. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. New York, NY, USA: Springer, 2009.
43. Z. W. Li, N. Q. Wu, and M. C. Zhou, "Deadlock control of automated manufacturing systems based on Petri nets - A literature review," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev, vol. 42, no. 4, pp. 437-462, Jul. 2012.
44. W. Kim and M. Chung, "A web service support to collaborative process with semantic information," in Proc. 6th Int. Conf. Web Inf. Syst. Eng., Berlin, Germany: Springer-Verlag, 2005, pp. 217-230.
45. W. M. P. Aalst, "Interval timed colored Petri nets and their analysis," Berlin, Germany: Springer, 1993.
46. F. Bause and P. S. Kritzinger, Stochastic Petri Nets-An Introduction to the Theory (Advanced Studies in Computer Science). Wiesbaden, Germany: Verelag Vieweg, 1996.
47. Y.-S. Huang, Y.-S. Weng, and M. C. Zhou, "Modular design of urban traffic-light control systems based on synchronized timed Petri nets," IEEE Trans. Intell. Transp. Syst., vol. 5, no. 2, pp. 530-539, Apr. 2014.
48. Q. Zeng, F. Lu, C. Liu, and D. Meng, "Modeling and analysis for cross-organizational emergency response systems using Petri nets," Chinese J. Comput., vol. 36, no. 11, pp. 2290-2302, 2013.
49. H. H. Xiong and M. C. Zhou, "Scheduling of semiconductor test facility via Petri nets and hybrid heuristic search," IEEE Trans. Semicond. Manuf., vol. 11, no. 3, pp. 384-393, Aug. 1998.
50. H. Hu, M. C. Zhou, and Z. Li, "Algebraic synthesis of timed supervisor for automated manufacturing systems using Petri nets," IEEE Trans. Autom. Sci. Eng., vol. 7, no. 3, pp. 549-557, Jul. 2010.
51. Y. Qiao, N. Wu, and M. C. Zhou, "Scheduling of dual-arm cluster tools with wafer revisiting and residency time constraints," IEEE Trans. Ind. Informat., vol. 10, no. 1, pp. 286-300, Feb. 2014.
52. 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.
53. N. 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.
54. N. Wu and M. C. Zhou, "A closed-form solution for schedulability and optimal scheduling of dual-arm cluster tools with wafer residency time constraint based on steady schedule analysis," IEEE Trans. Autom. Sci. Eng., vol. 7, no. 2, pp. 303-315, Apr. 2010.
55. 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.
56. N. Wu and M. C. Zhou, "Schedulability analysis and optimal scheduling of dual-arm cluster tools with residency time constraint and activity time variation," IEEE Trans. Autom. Sci. Eng., vol. 9, no. 1, pp. 203-209, Jan. 2012.
57. L. Pan, Z. Ding, and M. C. Zhou, "A configurable state class method for temporal analysis of time Petri nets," IEEE Trans. Syst., Man, Cybern. Syst., vol. 44, no. 4, pp. 482-493, Apr. 2014.
58. Y. Du, W. Tan, and M. C. Zhou, "Timed compatibility analysis of web service composition: A modular approach based on Petri nets," IEEE Trans. Autom. Sci. Eng., vol. 11, no. 2, pp. 594-606, Apr. 2014.
59. Q. Zhu, N. Wu, Y. Qiao, and M. C. Zhou, "Petri net-based optimal one-wafer scheduling of single-arm multi-cluster tools in semiconductor manufacturing," IEEE Trans. Semicond. Manuf., vol. 26, no. 4, pp. 578-591, Dec. 2013.
60. 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.
61. N. Wu and M. C. Zhou, "Colored timed Petri nets for modeling and analysis of cluster tools," Asian J. Control, vol. 12, no. 3, pp. 253-266, May 2010.
62. W. Tan, Y. Fan, M. C. Zhou, and Z. Tian, "Data-driven service composition in building SOA solutions: A Petri net approach," IEEE Trans. Autom. Sci. Eng., vol. 7, no. 3, pp. 686-694, Jul. 2010.
63. J. Li, M. C. Zhou, X. Dai, and Y. Gan, "Robust control reconfiguration of resource allocation systems with Petri nets and integer programming," Automatica, vol. 50, no. 1, pp. 915-923, Jan. 2014.
64. H. Liu, K. Xing, M. Zhou, L. Han, and F. Wang, "Transition cover-based design of Petri net controllers for automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 44, no. 2, pp. 196-208, Feb. 2014.
65. Y. Chen, Z. Li, and M. C. Zhou, "Optimal supervisory control of flexible manufacturing systems by Petri nets: A set classification approach," IEEE Trans. Autom. Sci. Eng., vol. 11, no. 2, pp. 549-563, Apr. 2014.
66. 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.
67. Z. W. Li, G. Y. Liu, M-H. Hanisch, and M. C. Zhou, "Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 42, no. 1, pp. 178-191, Jan. 2012.