Resource Conflict Checking and Resolution Controller Design for Cross-Organization Emergency Response Processes
暂无分享,去创建一个
Qingtian Zeng | MengChu Zhou | Hua Duan | Cong Liu | Mengchu Zhou | H. Duan | Q. Zeng | Cong Liu
[1] W.M.P. van der Aalst,et al. Interorganizational workflows: An approach based on message sequence charts and petri nets , 1999 .
[2] Qingtian Zeng,et al. A Package Reduction Approach To Modeling and Analysis of Cross-Organization Emergency Response Processes With Privacy Protected , 2018, IEEE Access.
[3] Qingtian Zeng,et al. Towards Comprehensive Support for Privacy Preservation Cross-Organization Business Process Mining , 2019, IEEE Transactions on Services Computing.
[4] Robert H. Sloan,et al. Reduction rules for time Petri nets , 1996, Acta Informatica.
[5] Qingtian Zeng,et al. Modeling and Analysis of Subway Fire Emergency Response: An Empirical Study , 2016 .
[6] Remco M. Dijkman,et al. Petri Net Transformations for Business Processes - A Survey , 2009, Trans. Petri Nets Other Model. Concurr..
[7] Qingtian Zeng,et al. Conflict detection and resolution for workflows constrained by resources and non-determined durations , 2008, J. Syst. Softw..
[8] Maria E. Orlowska,et al. Facilitating cross-organisational workflows with a workflow view approach , 2004, Data Knowl. Eng..
[9] Qingtian Zeng,et al. Refinement-Based Hierarchical Modeling and Correctness Verification of Cross-Organization Collaborative Emergency Response Processes , 2020, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[10] Robert Valette,et al. Analysis of Petri Nets by Stepwise Refinements , 1979, J. Comput. Syst. Sci..
[11] Qingtian Zeng,et al. Cross-organizational collaborative workflow mining from a multi-source log , 2013, Decis. Support Syst..
[12] Qingtian Zeng,et al. Towards Comprehensive Support for Business Process Behavior Similarity Measure , 2019, IEICE Trans. Inf. Syst..
[13] MengChu Zhou. Reduction of timed marked graphs and its applications to manufacturing systems , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.
[14] Qingtian Zeng,et al. E-Net Modeling and Analysis of Emergency Response Processes Constrained by Resources and Uncertain Durations , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[15] MengChu Zhou,et al. Compositional time Petri nets and reduction rules , 2000, IEEE Trans. Syst. Man Cybern. Part B.
[16] Wlodzimierz M. Zuberek,et al. Timed Petri nets definitions, properties, and applications , 1991 .
[17] Qingtian Zeng,et al. Resource conflict detection and removal strategy for nondeterministic emergency response processes using Petri nets , 2016, Enterp. Inf. Syst..
[18] 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).
[19] Wil M. P. van der Aalst,et al. Loosely coupled interorganizational workflows: : modeling and analyzing workflows crossing organizational boundaries , 2000, Inf. Manag..
[20] Jiujun Cheng,et al. Automatic Composition of Semantic Web Services Based on Fuzzy Predicate Petri Nets , 2015, IEEE Transactions on Automation Science and Engineering.
[21] Chun Ouyang,et al. Comparing and evaluating Petri net semantics for BPEL , 2009, Int. J. Bus. Process. Integr. Manag..
[22] Cong Liu,et al. Automatic Discovery of Behavioral Models From Software Execution Data , 2018, IEEE Transactions on Automation Science and Engineering.
[23] Jiacun Wang,et al. Emergency Healthcare Workflow Modeling and Timeliness Analysis , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[24] Hua Duan,et al. Petri Net Based Behavior Description of Cross-Organization Workflow with Synchronous Interaction Pattern , 2014 .
[25] Jiujun Cheng,et al. Time Performance Optimization and Resource Conflicts Resolution for Multiple Project Management , 2016, IEICE Trans. Inf. Syst..
[26] Qingtian Zeng,et al. Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[27] Qingtian Zeng,et al. Invariant Decomposition Conditions for Petri Nets Based on the Index of Transitions , 2012 .
[28] Xiaokuan Yang,et al. Theory Model for Earthquake Emergency Shelter Choice Based on the Shortest Overall Evacuation Time , 2011 .
[29] Wolfgang Reisig,et al. Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies , 2013, Bull. EATCS.
[30] Kamel Barkaoui,et al. Uniform verification of workflow soundness , 2011 .
[31] Qingtian Zeng,et al. A Visual Management and Monitoring Tool for Cross-organization Emergency Response Workflows , 2012 .
[32] Qingtian Zeng,et al. Formulating the Data-Flow Modeling and Verification for Workflow: A Petri Net based Approach , 2014 .
[33] Kamel Barkaoui,et al. Compatibility Analysis of Time Open Workflow Nets , 2014, PNSE @ Petri Nets.