Emergency Response Workflow Resource Requirements Modeling and Analysis
暂无分享,去创建一个
[1] Paulo E. Miyagi,et al. On Resource Arc for Petri Net Modelling of Complex Resource Sharing System , 1999, J. Intell. Robotic Syst..
[2] Daniela Rosca,et al. Enterprise Modeling and Decision-Support for Automating the Business Rules Lifecycle , 2002, Automated Software Engineering.
[3] L. Sha,et al. The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks , 1988, IRTAW '88.
[4] Naiqi Wu,et al. Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model , 1999, IEEE Trans. Syst. Man Cybern. Part C.
[5] Amit P. Sheth,et al. Specifying and Enforcing Intertask Dependencies , 1993, VLDB.
[6] Javier Martínez,et al. A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..
[7] Wil M. P. van der Aalst,et al. Verification Of Workflow Task Structures: A Petri-net-baset Approach , 2000, Inf. Syst..
[8] William M. Tepfenhart,et al. Dynamic Workflow Modeling and Analysis in Incident Command Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[9] M. Stoute,et al. Workflow Management Tool Support for Incident Command Systems , 2006, 2006 IEEE International Conference on Networking, Sensing and Control.
[10] M. Z. Muehlen,et al. Workflow Management Coalition , 2000 .
[11] Zhiming Wu,et al. Deadlock-free scheduling method using genetic algorithm and timed S/sup 3/PR nets , 2004, Proceedings of the 2004 American Control Conference.
[12] Kees M. van Hee,et al. Resource-Constrained Workflow Nets , 2006, Fundam. Informaticae.
[13] Nathaniel Palmer,et al. Workflow Management Coalition , 2009, Encyclopedia of Database Systems.
[14] MengChu Zhou,et al. Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[15] Wil M. P. van der Aalst,et al. Verification of Workflow Nets , 1997, ICATPN.
[16] Paul Dourish,et al. Process descriptions as organisational accounting devices: the dual use of workflow technologies , 2001, GROUP.
[17] Manfred Reichert,et al. Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control , 1998, Journal of Intelligent Information Systems.
[18] Peter Lawrence. Workflow Handbook 1997 , 1997 .
[19] Vijayalakshmi Atluri,et al. Modeling and Analysis of Workflows Using Petri Nets , 1998, Journal of Intelligent Information Systems.
[20] Daniela Rosca,et al. Dynamic Workflow Modeling and Verification , 2006, CAiSE.
[21] William M. Tepfenhart,et al. An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis , 2005, Business Process Management.
[22] Mathias Weske,et al. Formal foundation and conceptual design of dynamic adaptations in a workflow management system , 2001, Proceedings of the 34th Annual Hawaii International Conference on System Sciences.
[23] MengChu Zhou,et al. Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems , 2001, IEEE Trans. Robotics Autom..
[24] Rajesh K. Thiagarajan,et al. BPML : a process modeling language for dynamic business models , 2002, Proceedings Fourth IEEE International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS 2002).
[25] Jiacun Wang,et al. Incident Command System Workflow Modeling and Analysis: A Case Study , 2006 .
[26] William M. Tepfenhart,et al. UML and C++: A Practical Guide to Object-Oriented Development , 1997 .
[27] Lars G Fischer. Workflow Handbook 2002, Workflow Management Coalition , 2002 .
[28] Munindar P. Singh,et al. An Event Algebra for Specifying and Scheduling Workflows , 1995, DASFAA.
[29] MengChu Zhou,et al. Deadlock control methods in automated manufacturing systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.