E-Net Modeling and Analysis of Emergency Response Processes Constrained by Resources and Uncertain Durations
暂无分享,去创建一个
Qingtian Zeng | MengChu Zhou | Jiujun Cheng | Cong Liu | Hua Duan | Faming Lu | Mengchu Zhou | H. Duan | Q. Zeng | Faming Lu | Jiujun Cheng | Cong Liu
[1] William M. Tepfenhart,et al. Emergency Response Workflow Resource Requirements Modeling and Analysis , 2009, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).
[2] Falko Bause,et al. Stochastic Petri Nets: An Introduction to the Theory , 2012, PERV.
[3] Feniosky Peña-Mora,et al. Decentralized Approach Considering Spatial Attributes for Equipment Utilization in Civil Engineering Disaster Response , 2011 .
[4] MengChu Zhou,et al. Data-Driven Service Composition in Enterprise SOA Solutions: A Petri Net Approach , 2010, IEEE Transactions on Automation Science and Engineering.
[5] MengChu Zhou,et al. Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets , 2010, IEEE Transactions on Automation Science and Engineering.
[6] MengChu Zhou,et al. Deadlock control methods in automated manufacturing systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[7] Fritz Gehbauer,et al. Optimized resource allocation for emergency response after earthquake disasters , 2000 .
[8] Tadao Murata,et al. A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs , 1988, IEEE Trans. Software Eng..
[9] MengChu Zhou,et al. Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[10] MengChu Zhou,et al. Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.
[11] Qingtian Zeng,et al. Modeling and Analysis for Workflow Constrained by Resources and Nondetermined Time: An Approach Based on Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[12] MengChu Zhou,et al. Business and Scientific Workflows: A Web Service-Oriented Approach , 2013 .
[13] MengChu Zhou,et al. Petri Net-Based Optimal One-Wafer Scheduling of Single-Arm Multi-Cluster Tools in Semiconductor Manufacturing , 2013, IEEE Transactions on Semiconductor Manufacturing.
[14] MengChu Zhou,et al. A Closed-Form Solution for Schedulability and Optimal Scheduling of Dual-Arm Cluster Tools With Wafer Residency Time Constraint Based on Steady Schedule Analysis , 2010, IEEE Transactions on Automation Science and Engineering.
[15] Wei Tan,et al. Dynamic workflow model fragmentation for distributed execution , 2007, Comput. Ind..
[16] MengChu Zhou,et al. Petri nets and industrial applications: A tutorial , 1994, IEEE Trans. Ind. Electron..
[17] Guanquan Chu,et al. A stochastic analysis on occupant evacuation time under emergency conditions , 2011, 2011 2nd IEEE International Conference on Emergency Management and Management Sciences.
[18] Jiacun Wang,et al. Timed Petri Nets: Theory and Application , 1998 .
[19] MengChu Zhou,et al. A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language , 2009, IEEE Transactions on Automation Science and Engineering.
[20] C. Sell,et al. Using a Workflow Management System to Manage Emergency Plans , 2009 .
[21] Naiqi Wu,et al. System Modeling and Control with Resource-Oriented Petri Nets , 2009 .
[22] René M. B. M. de Koster,et al. A review of design and control of automated guided vehicle systems , 2006, Eur. J. Oper. Res..
[23] MengChu Zhou,et al. A Petri-Net-Based Correctness Analysis of Internet Stock Trading Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).
[24] Haiping Xu,et al. Automated Verification of Dynamic Reliability Block Diagrams Using Colored Petri Nets 1 , 2009 .
[25] MengChu Zhou,et al. Scheduling of semiconductor test facility via Petri nets and hybrid heuristic search , 1998 .
[26] Chi Min Shu,et al. Emergency response plan of chlorine gas for process plants in Taiwan , 2008 .
[27] MengChu Zhou,et al. A vector matching method for analysing logic Petri nets , 2011, Enterp. Inf. Syst..
[28] Vijayalakshmi Atluri,et al. Modeling and Analysis of Workflows Using Petri Nets , 1998, Journal of Intelligent Information Systems.
[29] MengChu Zhou,et al. Timed Compatibility Analysis of Web Service Composition: A Modular Approach Based on Petri Nets , 2014, IEEE Transactions on Automation Science and Engineering.
[30] Jan Verelst,et al. Techniques for Modeling Workflows and Their Support of Reuse , 2000, Business Process Management.
[31] Yushun Fan,et al. Approximate performance analysis of Workflow model , 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).
[32] MengChu Zhou,et al. Robust control reconfiguration of resource allocation systems with Petri nets and integer programming , 2014, Autom..
[33] Zhiwu Li,et al. Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach , 2009 .
[34] Cong Liu,et al. Modeling and Analysis for Cross-Organizational Emergency Response Systems Using Petri Nets: Modeling and Analysis for Cross-Organizational Emergency Response Systems Using Petri Nets , 2014 .
[35] D. Gaba,et al. Emergency medicine crisis resource management (EMCRM): pilot study of a simulation-based crisis management course for emergency medicine. , 2003, Academic emergency medicine : official journal of the Society for Academic Emergency Medicine.
[36] Jianguo Li,et al. Simulation and Analysis of Time-Consumption of Emergency Supplies Loading Services Based on Queue Theory , 2011 .
[37] C. Petri. Kommunikation mit Automaten , 1962 .
[38] Wolfgang Reisig,et al. Understanding Petri nets , 1995, IEEE Parallel & Distributed Technology: Systems & Applications.
[39] MengChu Zhou,et al. Petri Net-Based Scheduling of Single-Arm Cluster Tools With Reentrant Atomic Layer Deposition Processes , 2011, IEEE Transactions on Automation Science and Engineering.
[40] MengChu Zhou,et al. Analysis and Application of Logical Petri Nets to E-Commerce Systems , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[41] Qingtian Zeng,et al. Invariant Decomposition Conditions for Petri Nets Based on the Index of Transitions , 2012 .
[42] MengChu Zhou,et al. Transition Cover-Based Design of Petri Net Controllers for Automated Manufacturing Systems , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[43] Wolfgang Reisig. Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.
[44] MengChu Zhou,et al. A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems , 2009, IEEE Trans. Syst. Man Cybern. Part A.
[45] Zeng Qing. Modeling and Analysis for Cross Organizational Emergency Response Systems Using Petri Nets , 2013 .
[46] Wil M. P. van der Aalst,et al. The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..
[47] MengChu Zhou,et al. Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[48] Sea Ling,et al. Time Petri nets for workflow modelling and analysis , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.
[49] MengChu Zhou,et al. Design of industrial automated systems via relay ladder logic programming and Petri nets , 1998, IEEE Trans. Syst. Man Cybern. Part C.
[50] MengChu Zhou,et al. Performance modeling and analysis of workflow , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[51] Jiacun Wang,et al. Emergency Healthcare Workflow Modeling and Timeliness Analysis , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[52] MengChu Zhou,et al. Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).
[53] MengChu Zhou,et al. Petri Net Modeling and Cycle-Time Analysis of Dual-Arm Cluster Tools With Wafer Revisiting , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[54] Woongsup Kim,et al. A Web Service Support to Collaborative Process with Semantic Information , 2005, WISE.
[55] Qingtian Zeng,et al. Conflict detection and resolution for workflows constrained by resources and non-determined durations , 2008, J. Syst. Softw..
[56] MengChu Zhou,et al. Modular Design of Urban Traffic-Light Control Systems Based on Synchronized Timed Petri Nets , 2014, IEEE Transactions on Intelligent Transportation Systems.
[57] MengChu Zhou,et al. A Configurable State Class Method for Temporal Analysis of Time Petri Nets , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[58] Iris F. A. Vis,et al. Survey of research in the design and control of automated guided vehicle systems , 2006, Eur. J. Oper. Res..
[59] NaiQi Wu,et al. Colored timed Petri nets for modeling and analysis of cluser tools , 2010, Asian Journal of Control.
[60] MengChu Zhou,et al. A Petri Net-Based Heuristic Algorithm for Realizability of Target Refining Schedule for Oil Refinery , 2008, IEEE Transactions on Automation Science and Engineering.
[61] Qingtian Zeng,et al. Process-Mining-Based Workflow Model Fragmentation for Distributed Execution , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[62] MengChu Zhou,et al. A Petri-Net-Based Scheduling Strategy for Dual-Arm Cluster Tools With Wafer Revisiting , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[63] Wil M. P. van der Aalst. Interval Timed Coloured Petri Nets and their Analysis , 1993, Application and Theory of Petri Nets.
[64] Wolfgang Reisig,et al. Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies , 2013, Bull. EATCS.
[65] Xiaokuan Yang,et al. Theory Model for Earthquake Emergency Shelter Choice Based on the Shortest Overall Evacuation Time , 2011 .
[66] W.M.P. van der Aalst,et al. Interval timed Petri nets and their analysis , 1991 .
[67] MengChu Zhou,et al. Scheduling of Dual-Arm Cluster Tools With Wafer Revisiting and Residency Time Constraints , 2014, IEEE Transactions on Industrial Informatics.
[68] MengChu Zhou,et al. Timing constraint workflow nets for workflow analysis , 2003, IEEE Trans. Syst. Man Cybern. Part A.
[69] Wil M.P. van der Aalst,et al. Three good reasons for using a Petri-net-based workflow management system , 1996 .
[70] Liwei Chen,et al. Path Selection Algorithms for Emergency Logistics Based Time Expectation , 2010 .
[71] Kai Kang,et al. Application of Code Approach for Emergency Evacuation in a Rail Station , 2007 .
[72] MengChu Zhou,et al. Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems , 2001, IEEE Trans. Robotics Autom..
[73] MengChu Zhou,et al. Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach , 2014, IEEE Transactions on Automation Science and Engineering.
[74] MengChu Zhou,et al. Schedulability Analysis and Optimal Scheduling of Dual-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation , 2012, IEEE Transactions on Automation Science and Engineering.