BibTeX records: Hesuan Hu

download as .bib file

@article{DBLP:journals/isci/ZhongZH24,
  author       = {Wenjing Zhong and
                  Jinjing Zhao and
                  Hesuan Hu},
  title        = {Non-interference assessment in colored net systems via integer linear
                  programming},
  journal      = {Inf. Sci.},
  volume       = {658},
  pages        = {120027},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.ins.2023.120027},
  doi          = {10.1016/J.INS.2023.120027},
  timestamp    = {Fri, 26 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isci/ZhongZH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/YangH24,
  author       = {Benyuan Yang and
                  Hesuan Hu},
  title        = {Decentralized Enforcement of Linear State Specifications for Augmented
                  Marked Graphs With a Coordinator},
  journal      = {{IEEE} Trans. Control. Syst. Technol.},
  volume       = {32},
  number       = {2},
  pages        = {413--427},
  year         = {2024},
  url          = {https://doi.org/10.1109/TCST.2023.3312849},
  doi          = {10.1109/TCST.2023.3312849},
  timestamp    = {Sat, 16 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcst/YangH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/YangH24,
  author       = {Benyuan Yang and
                  Hesuan Hu},
  title        = {Delegation Security Analysis in Workflow Systems},
  journal      = {{IEEE} Trans. Dependable Secur. Comput.},
  volume       = {21},
  number       = {1},
  pages        = {229--240},
  year         = {2024},
  url          = {https://doi.org/10.1109/TDSC.2023.3248602},
  doi          = {10.1109/TDSC.2023.3248602},
  timestamp    = {Sat, 10 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tdsc/YangH24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/ZhouHDCLLD24,
  author       = {Yuan Zhou and
                  Hesuan Hu and
                  Gelei Deng and
                  Kun Cheng and
                  Shang{-}Wei Lin and
                  Yang Liu and
                  Zuohua Ding},
  title        = {Distributed Motion Control for Multiple Mobile Robots Using Discrete-Event
                  Systems and Model Predictive Control},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Syst.},
  volume       = {54},
  number       = {2},
  pages        = {997--1010},
  year         = {2024},
  url          = {https://doi.org/10.1109/TSMC.2023.3322154},
  doi          = {10.1109/TSMC.2023.3322154},
  timestamp    = {Sat, 10 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tsmc/ZhouHDCLLD24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpr/DuYH23,
  author       = {Nan Du and
                  Yan Yang and
                  Hesuan Hu},
  title        = {Robust deadlock control in automated manufacturing systems with unreliable
                  resources based on an algebraic way},
  journal      = {Int. J. Prod. Res.},
  volume       = {61},
  number       = {19},
  pages        = {6403--6417},
  year         = {2023},
  url          = {https://doi.org/10.1080/00207543.2022.2127965},
  doi          = {10.1080/00207543.2022.2127965},
  timestamp    = {Wed, 06 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijpr/DuYH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/FanHYLH23,
  author       = {Xing Fan and
                  Hesuan Hu and
                  Benyuan Yang and
                  Yuming Liu and
                  Gaoyun He},
  title        = {Event Circuit Structures for Deadlock Avoidance in Flexible Manufacturing
                  Systems},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {20},
  number       = {1},
  pages        = {597--610},
  year         = {2023},
  url          = {https://doi.org/10.1109/TASE.2022.3163854},
  doi          = {10.1109/TASE.2022.3163854},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tase/FanHYLH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/YangH23,
  author       = {Benyuan Yang and
                  Hesuan Hu},
  title        = {Robustness Analysis of Automated Manufacturing Systems With Uncontrollable
                  Events Using Petri Nets},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {20},
  number       = {2},
  pages        = {775--788},
  year         = {2023},
  url          = {https://doi.org/10.1109/TASE.2022.3169810},
  doi          = {10.1109/TASE.2022.3169810},
  timestamp    = {Sat, 29 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/YangH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/DuSH23,
  author       = {Yanhua Du and
                  Zijian Sun and
                  Hesuan Hu},
  title        = {Security-Aware Collaboration Plan Recommendation for Dynamic Multiple
                  Workflow Processes},
  journal      = {{IEEE} Trans. Dependable Secur. Comput.},
  volume       = {20},
  number       = {1},
  pages        = {100--113},
  year         = {2023},
  url          = {https://doi.org/10.1109/TDSC.2021.3127630},
  doi          = {10.1109/TDSC.2021.3127630},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tdsc/DuSH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/DuZH23,
  author       = {Yanhua Du and
                  Yongchuan Zhou and
                  Hesuan Hu},
  title        = {Dynamic Assignment of Roles and Users for Business Processes Under
                  Security Requirements},
  journal      = {{IEEE} Trans. Ind. Informatics},
  volume       = {19},
  number       = {10},
  pages        = {10344--10355},
  year         = {2023},
  url          = {https://doi.org/10.1109/TII.2023.3240568},
  doi          = {10.1109/TII.2023.3240568},
  timestamp    = {Thu, 31 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tii/DuZH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/YangH23,
  author       = {Benyuan Yang and
                  Hesuan Hu},
  title        = {Analysis of Authorization Constraints via Integer Linear Programming},
  journal      = {{IEEE} Trans. Knowl. Data Eng.},
  volume       = {35},
  number       = {3},
  pages        = {2258--2271},
  year         = {2023},
  url          = {https://doi.org/10.1109/TKDE.2021.3124271},
  doi          = {10.1109/TKDE.2021.3124271},
  timestamp    = {Sat, 25 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tkde/YangH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/ZhongZH23,
  author       = {Wenjing Zhong and
                  Jinjing Zhao and
                  Hesuan Hu},
  title        = {Beacon-Based Firing Control for Authorization Security in Workflows},
  journal      = {{IEEE} Trans. Reliab.},
  volume       = {72},
  number       = {4},
  pages        = {1594--1609},
  year         = {2023},
  url          = {https://doi.org/10.1109/TR.2023.3235785},
  doi          = {10.1109/TR.2023.3235785},
  timestamp    = {Sun, 31 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tr/ZhongZH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/ZhongZH23,
  author       = {Wenjing Zhong and
                  Jinjing Zhao and
                  Hesuan Hu},
  title        = {Unified Implementation and Simplification for Task-Based Authorization
                  Security in Workflows},
  journal      = {{IEEE} Trans. Serv. Comput.},
  volume       = {16},
  number       = {5},
  pages        = {3796--3811},
  year         = {2023},
  url          = {https://doi.org/10.1109/TSC.2023.3268651},
  doi          = {10.1109/TSC.2023.3268651},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsc/ZhongZH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/YangH23,
  author       = {Benyuan Yang and
                  Hesuan Hu},
  title        = {Maximally Permissive Robustness Analysis of Automated Manufacturing
                  Systems With Multiple Unreliable Resources},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Syst.},
  volume       = {53},
  number       = {6},
  pages        = {3527--3539},
  year         = {2023},
  url          = {https://doi.org/10.1109/TSMC.2022.3228640},
  doi          = {10.1109/TSMC.2022.3228640},
  timestamp    = {Thu, 15 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/YangH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/WangH23,
  author       = {Xiaojun Wang and
                  Hesuan Hu},
  title        = {A Robust Control Approach to AMSs by Using the Implementation of Strong
                  and Weak Robustness},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Syst.},
  volume       = {53},
  number       = {11},
  pages        = {6986--6998},
  year         = {2023},
  url          = {https://doi.org/10.1109/TSMC.2023.3279867},
  doi          = {10.1109/TSMC.2023.3279867},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/WangH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/YangH22,
  author       = {Benyuan Yang and
                  Hesuan Hu},
  title        = {Robustness Analysis of Automated Manufacturing Systems With Unreliable
                  Resources Using Petri Nets},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {19},
  number       = {4},
  pages        = {3686--3699},
  year         = {2022},
  url          = {https://doi.org/10.1109/TASE.2021.3130768},
  doi          = {10.1109/TASE.2021.3130768},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tase/YangH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/YangH22a,
  author       = {Benyuan Yang and
                  Hesuan Hu},
  title        = {Maximally Permissive Deadlock and Livelock Avoidance for Automated
                  Manufacturing Systems via Critical Distance},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {19},
  number       = {4},
  pages        = {3838--3852},
  year         = {2022},
  url          = {https://doi.org/10.1109/TASE.2021.3138169},
  doi          = {10.1109/TASE.2021.3138169},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tase/YangH22a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/DuWYH22,
  author       = {Yanhua Du and
                  Yang Wang and
                  Benyuan Yang and
                  Hesuan Hu},
  title        = {Analyzing Security Requirements in Timed Workflow Processes},
  journal      = {{IEEE} Trans. Dependable Secur. Comput.},
  volume       = {19},
  number       = {1},
  pages        = {190--207},
  year         = {2022},
  url          = {https://doi.org/10.1109/TDSC.2020.2975163},
  doi          = {10.1109/TDSC.2020.2975163},
  timestamp    = {Fri, 21 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tdsc/DuWYH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/YangH22,
  author       = {Benyuan Yang and
                  Hesuan Hu},
  title        = {Dynamic Implementation of Security Requirements in Business Processes},
  journal      = {{IEEE} Trans. Dependable Secur. Comput.},
  volume       = {19},
  number       = {2},
  pages        = {1352--1363},
  year         = {2022},
  url          = {https://doi.org/10.1109/TDSC.2020.3012729},
  doi          = {10.1109/TDSC.2020.3012729},
  timestamp    = {Fri, 01 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tdsc/YangH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/WangHZ22,
  author       = {Xiaojun Wang and
                  Hesuan Hu and
                  MengChu Zhou},
  title        = {Discrete Event Approach to Robust Control in Automated Manufacturing
                  Systems},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Syst.},
  volume       = {52},
  number       = {1},
  pages        = {123--135},
  year         = {2022},
  url          = {https://doi.org/10.1109/TSMC.2020.3035446},
  doi          = {10.1109/TSMC.2020.3035446},
  timestamp    = {Sat, 08 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tsmc/WangHZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/0009H22,
  author       = {Chen Chen and
                  Hesuan Hu},
  title        = {Extended Place-Invariant Control in Automated Manufacturing Systems
                  Using Petri Nets},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Syst.},
  volume       = {52},
  number       = {3},
  pages        = {1807--1822},
  year         = {2022},
  url          = {https://doi.org/10.1109/TSMC.2020.3035668},
  doi          = {10.1109/TSMC.2020.3035668},
  timestamp    = {Tue, 15 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tsmc/0009H22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/WangHPL21,
  author       = {Jipeng Wang and
                  Hesuan Hu and
                  Chunrong Pan and
                  Liang Li},
  title        = {Transient Process Optimization for Dual-Arm Cluster Tools With Wafer
                  Revisiting},
  journal      = {{IEEE} Access},
  volume       = {9},
  pages        = {50093--50105},
  year         = {2021},
  url          = {https://doi.org/10.1109/ACCESS.2021.3069888},
  doi          = {10.1109/ACCESS.2021.3069888},
  timestamp    = {Thu, 29 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/WangHPL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/FanYH21,
  author       = {Xing Fan and
                  Benyuan Yang and
                  Hesuan Hu},
  title        = {Event Circular Waits and Their Analysis via Petri Nets},
  journal      = {{IEEE} Access},
  volume       = {9},
  pages        = {92586--92599},
  year         = {2021},
  url          = {https://doi.org/10.1109/ACCESS.2021.3092439},
  doi          = {10.1109/ACCESS.2021.3092439},
  timestamp    = {Tue, 13 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/FanYH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/DuH21,
  author       = {Nan Du and
                  Hesuan Hu},
  title        = {Robust Deadlock Detection and Control of Automated Manufacturing Systems
                  With Multiple Unreliable Resources Using Petri Nets},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {18},
  number       = {4},
  pages        = {1790--1802},
  year         = {2021},
  url          = {https://doi.org/10.1109/TASE.2020.3019684},
  doi          = {10.1109/TASE.2020.3019684},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tase/DuH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/YangH21,
  author       = {Benyuan Yang and
                  Hesuan Hu},
  title        = {Implementation of Generalized Mutual Exclusion Constraints Using Critical
                  Places and Marking Estimation},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Syst.},
  volume       = {51},
  number       = {8},
  pages        = {5067--5079},
  year         = {2021},
  url          = {https://doi.org/10.1109/TSMC.2019.2944886},
  doi          = {10.1109/TSMC.2019.2944886},
  timestamp    = {Thu, 29 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/YangH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/YangH21a,
  author       = {Benyuan Yang and
                  Hesuan Hu},
  title        = {Secure Conflicts Avoidance in Multidomain Environments: {A} Distributed
                  Approach},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Syst.},
  volume       = {51},
  number       = {9},
  pages        = {5478--5489},
  year         = {2021},
  url          = {https://doi.org/10.1109/TSMC.2019.2954589},
  doi          = {10.1109/TSMC.2019.2954589},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/YangH21a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/0009GH21,
  author       = {Chen Chen and
                  Chan Gu and
                  Hesuan Hu},
  title        = {Optimal Supervisor Simplification in {AMS} based on Petri Nets and
                  Genetic Algorithm},
  booktitle    = {2021 60th {IEEE} Conference on Decision and Control (CDC), Austin,
                  TX, USA, December 14-17, 2021},
  pages        = {1757--1764},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/CDC45484.2021.9683234},
  doi          = {10.1109/CDC45484.2021.9683234},
  timestamp    = {Tue, 17 May 2022 15:53:17 +0200},
  biburl       = {https://dblp.org/rec/conf/cdc/0009GH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsc/ZhongZH21,
  author       = {Wenjing Zhong and
                  Jinjing Zhao and
                  Hesuan Hu},
  title        = {A Multilevel Non-interference Vulnerability Analysis Method for Information
                  Leakage Problem},
  booktitle    = {Sixth {IEEE} International Conference on Data Science in Cyberspace,
                  {DSC} 2021, Shenzhen, China, October 9-11, 2021},
  pages        = {367--374},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/DSC53577.2021.00058},
  doi          = {10.1109/DSC53577.2021.00058},
  timestamp    = {Fri, 22 Apr 2022 19:18:38 +0200},
  biburl       = {https://dblp.org/rec/conf/dsc/ZhongZH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/ZhouHLLD20,
  author       = {Yuan Zhou and
                  Hesuan Hu and
                  Yang Liu and
                  Shang{-}Wei Lin and
                  Zuohua Ding},
  title        = {A distributed method to avoid higher-order deadlocks in multi-robot
                  systems},
  journal      = {Autom.},
  volume       = {112},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.automatica.2019.108706},
  doi          = {10.1016/J.AUTOMATICA.2019.108706},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/automatica/ZhouHLLD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeejas/WangHPZL20,
  author       = {Jipeng Wang and
                  Hesuan Hu and
                  Chunrong Pan and
                  Yuan Zhou and
                  Liang Li},
  title        = {Scheduling dual-arm cluster tools with multiple wafer types and residency
                  time constraints},
  journal      = {{IEEE} {CAA} J. Autom. Sinica},
  volume       = {7},
  number       = {3},
  pages        = {776--789},
  year         = {2020},
  url          = {https://doi.org/10.1109/jas.2020.1003150},
  doi          = {10.1109/JAS.2020.1003150},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieeejas/WangHPZL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/ChenRHS20,
  author       = {Chen Chen and
                  Arun Raman and
                  Hesuan Hu and
                  Ramavarapu S. Sreenivas},
  title        = {On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {65},
  number       = {12},
  pages        = {5236--5247},
  year         = {2020},
  url          = {https://doi.org/10.1109/TAC.2020.2970060},
  doi          = {10.1109/TAC.2020.2970060},
  timestamp    = {Thu, 27 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tac/ChenRHS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/DuHZ20,
  author       = {Nan Du and
                  Hesuan Hu and
                  MengChu Zhou},
  title        = {A Survey on Robust Deadlock Control Policies for Automated Manufacturing
                  Systems With Unreliable Resources},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {17},
  number       = {1},
  pages        = {389--406},
  year         = {2020},
  url          = {https://doi.org/10.1109/TASE.2019.2926758},
  doi          = {10.1109/TASE.2019.2926758},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/DuHZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/DuHZ20a,
  author       = {Nan Du and
                  Hesuan Hu and
                  MengChu Zhou},
  title        = {Robust Deadlock Avoidance and Control of Automated Manufacturing Systems
                  With Assembly Operations Using Petri Nets},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {17},
  number       = {4},
  pages        = {1961--1975},
  year         = {2020},
  url          = {https://doi.org/10.1109/TASE.2020.2983672},
  doi          = {10.1109/TASE.2020.2983672},
  timestamp    = {Tue, 20 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/DuHZ20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/DuLH20,
  author       = {Yanhua Du and
                  Na Li and
                  Hesuan Hu},
  title        = {Self-Adaptive Execution of Data-Aware Workflow Processes},
  journal      = {{IEEE} Trans. Ind. Informatics},
  volume       = {16},
  number       = {12},
  pages        = {7295--7305},
  year         = {2020},
  url          = {https://doi.org/10.1109/TII.2019.2961664},
  doi          = {10.1109/TII.2019.2961664},
  timestamp    = {Tue, 06 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tii/DuLH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/WangH20a,
  author       = {Xiaojun Wang and
                  Hesuan Hu},
  title        = {A Robust Control Approach to Automated Manufacturing Systems Allowing
                  Multitype and Multiquantity of Resources With Petri Nets},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Syst.},
  volume       = {50},
  number       = {10},
  pages        = {3499--3514},
  year         = {2020},
  url          = {https://doi.org/10.1109/TSMC.2018.2852946},
  doi          = {10.1109/TSMC.2018.2852946},
  timestamp    = {Tue, 06 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/WangH20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/YueXHWS20,
  author       = {Hao Yue and
                  Keyi Xing and
                  Hesuan Hu and
                  Weimin Wu and
                  Hongye Su},
  title        = {Supervisory Control of Deadlock-Prone Production Systems With Routing
                  Flexibility and Unreliable Resources},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Syst.},
  volume       = {50},
  number       = {10},
  pages        = {3528--3540},
  year         = {2020},
  url          = {https://doi.org/10.1109/TSMC.2019.2917882},
  doi          = {10.1109/TSMC.2019.2917882},
  timestamp    = {Tue, 06 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/YueXHWS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/YangH20b,
  author       = {Yan Yang and
                  Hesuan Hu},
  title        = {A Distributed Control Approach to Automated Manufacturing Systems
                  With Complex Routes and Operations Using Petri Nets},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Syst.},
  volume       = {50},
  number       = {10},
  pages        = {3670--3684},
  year         = {2020},
  url          = {https://doi.org/10.1109/TSMC.2018.2883083},
  doi          = {10.1109/TSMC.2018.2883083},
  timestamp    = {Tue, 06 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/YangH20b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/WangH20b,
  author       = {Xiaojun Wang and
                  Hesuan Hu},
  title        = {A Robust Control Approach to Automated Manufacturing Systems Combining
                  Absorbing and Distributing Characteristics},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Syst.},
  volume       = {50},
  number       = {12},
  pages        = {5024--5036},
  year         = {2020},
  url          = {https://doi.org/10.1109/TSMC.2019.2951742},
  doi          = {10.1109/TSMC.2019.2951742},
  timestamp    = {Tue, 01 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tsmc/WangH20b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ChenH19,
  author       = {Chen Chen and
                  Hesuan Hu},
  title        = {Time-Varying Automated Manufacturing Systems and Their Invariant-Based
                  Control: {A} Petri Net Approach},
  journal      = {{IEEE} Access},
  volume       = {7},
  pages        = {23149--23162},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACCESS.2019.2899190},
  doi          = {10.1109/ACCESS.2019.2899190},
  timestamp    = {Fri, 12 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/ChenH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/YueXZHGZ19,
  author       = {Hao Yue and
                  Shulin Xu and
                  Guangrui Zhou and
                  Hesuan Hu and
                  Yiyun Guo and
                  Jihui Zhang},
  title        = {Estimation of Least-Cost Transition Firing Sequences in Labeled Petri
                  Nets by Using Basis Reachability Graph},
  journal      = {{IEEE} Access},
  volume       = {7},
  pages        = {165387--165398},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACCESS.2019.2952056},
  doi          = {10.1109/ACCESS.2019.2952056},
  timestamp    = {Thu, 19 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/access/YueXZHGZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/YangH19b,
  author       = {Yan Yang and
                  Hesuan Hu},
  title        = {Implementation of Distributed Control of Hierarchical Assembly Systems
                  via Extended Critical Places},
  journal      = {{IEEE} Access},
  volume       = {7},
  pages        = {182937--182950},
  year         = {2019},
  url          = {https://doi.org/10.1109/ACCESS.2019.2960029},
  doi          = {10.1109/ACCESS.2019.2960029},
  timestamp    = {Wed, 15 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/access/YangH19b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jim/FuWTLH19,
  author       = {Yaping Fu and
                  Hongfeng Wang and
                  Guangdong Tian and
                  Zhiwu Li and
                  Hesuan Hu},
  title        = {Two-agent stochastic flow shop deteriorating scheduling via a hybrid
                  multi-objective evolutionary algorithm},
  journal      = {J. Intell. Manuf.},
  volume       = {30},
  number       = {5},
  pages        = {2257--2272},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10845-017-1385-4},
  doi          = {10.1007/S10845-017-1385-4},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jim/FuWTLH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/ChenH19,
  author       = {Chen Chen and
                  Hesuan Hu},
  title        = {Static and Dynamic Partitions of Inequalities: {A} Unified Methodology
                  for Supervisor Simplification},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {64},
  number       = {11},
  pages        = {4748--4755},
  year         = {2019},
  url          = {https://doi.org/10.1109/TAC.2019.2905220},
  doi          = {10.1109/TAC.2019.2905220},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tac/ChenH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/FengGTLHZ19,
  author       = {Yixiong Feng and
                  Yicong Gao and
                  Guangdong Tian and
                  Zhiwu Li and
                  Hesuan Hu and
                  Hao Zheng},
  title        = {Flexible Process Planning and End-of-Life Decision-Making for Product
                  Recovery Optimization Based on Hybrid Disassembly},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {16},
  number       = {1},
  pages        = {311--326},
  year         = {2019},
  url          = {https://doi.org/10.1109/TASE.2018.2840348},
  doi          = {10.1109/TASE.2018.2840348},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/FengGTLHZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/WangPHLZ19,
  author       = {Jipeng Wang and
                  Chunrong Pan and
                  Hesuan Hu and
                  Liang Li and
                  Yuan Zhou},
  title        = {A Cyclic Scheduling Approach to Single-Arm Cluster Tools With Multiple
                  Wafer Types and Residency Time Constraints},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {16},
  number       = {3},
  pages        = {1373--1386},
  year         = {2019},
  url          = {https://doi.org/10.1109/TASE.2018.2878063},
  doi          = {10.1109/TASE.2018.2878063},
  timestamp    = {Wed, 30 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tase/WangPHLZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/DuYH19,
  author       = {Yanhua Du and
                  Benyuan Yang and
                  Hesuan Hu},
  title        = {Incremental Analysis of Temporal Constraints for Concurrent Workflow
                  Processes With Dynamic Changes},
  journal      = {{IEEE} Trans. Ind. Informatics},
  volume       = {15},
  number       = {5},
  pages        = {2617--2627},
  year         = {2019},
  url          = {https://doi.org/10.1109/TII.2018.2868810},
  doi          = {10.1109/TII.2018.2868810},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tii/DuYH19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/ZhouHLLD19,
  author       = {Yuan Zhou and
                  Hesuan Hu and
                  Yang Liu and
                  Shang{-}Wei Lin and
                  Zuohua Ding},
  title        = {A Real-Time and Fully Distributed Approach to Motion Planning for
                  Multirobot Systems},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Syst.},
  volume       = {49},
  number       = {12},
  pages        = {2636--2650},
  year         = {2019},
  url          = {https://doi.org/10.1109/TSMC.2017.2750911},
  doi          = {10.1109/TSMC.2017.2750911},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/ZhouHLLD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/DuH18,
  author       = {Nan Du and
                  Hesuan Hu},
  title        = {A Robust Prevention Method for Automated Manufacturing Systems With
                  Unreliable Resources Using Petri Nets},
  journal      = {{IEEE} Access},
  volume       = {6},
  pages        = {78598--78608},
  year         = {2018},
  url          = {https://doi.org/10.1109/ACCESS.2018.2885116},
  doi          = {10.1109/ACCESS.2018.2885116},
  timestamp    = {Fri, 18 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/access/DuH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/automatica/ZhouHLLD18,
  author       = {Yuan Zhou and
                  Hesuan Hu and
                  Yang Liu and
                  Shang{-}Wei Lin and
                  Zuohua Ding},
  title        = {A distributed approach to robust control of multi-robot systems},
  journal      = {Autom.},
  volume       = {98},
  pages        = {1--13},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.automatica.2018.08.022},
  doi          = {10.1016/J.AUTOMATICA.2018.08.022},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/automatica/ZhouHLLD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/DuYH18,
  author       = {Yanhua Du and
                  Benyuan Yang and
                  Hesuan Hu},
  title        = {Model checking of timed compatibility for mediation-aided web service
                  composition: {A} three stage approach},
  journal      = {Expert Syst. Appl.},
  volume       = {112},
  pages        = {190--207},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.eswa.2018.06.005},
  doi          = {10.1016/J.ESWA.2018.06.005},
  timestamp    = {Tue, 28 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eswa/DuYH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcim/YueHWSZ18,
  author       = {Hao Yue and
                  Hesuan Hu and
                  Weimin Wu and
                  Hongye Su and
                  Jihui Zhang},
  title        = {Polynomial-complexity supervisory control for flexible assembly systems
                  based on Petri nets},
  journal      = {Int. J. Comput. Integr. Manuf.},
  volume       = {31},
  number       = {1},
  pages        = {71--86},
  year         = {2018},
  url          = {https://doi.org/10.1080/0951192X.2017.1335436},
  doi          = {10.1080/0951192X.2017.1335436},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijcim/YueHWSZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/FengHTLTH18,
  author       = {Yixiong Feng and
                  Zhaoxi Hong and
                  Guangdong Tian and
                  Zhiwu Li and
                  Jianrong Tan and
                  Hesuan Hu},
  title        = {Environmentally friendly {MCDM} of reliability-based product optimisation
                  combining DEMATEL-based ANP, interval uncertainty and Vlse Kriterijumska
                  Optimizacija Kompromisno Resenje {(VIKOR)}},
  journal      = {Inf. Sci.},
  volume       = {442-443},
  pages        = {128--144},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ins.2018.02.038},
  doi          = {10.1016/J.INS.2018.02.038},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isci/FengHTLTH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/YueXHWS18,
  author       = {Hao Yue and
                  Keyi Xing and
                  Hesuan Hu and
                  Weimin Wu and
                  Hongye Su},
  title        = {Resource failure and buffer space allocation control for automated
                  manufacturing systems},
  journal      = {Inf. Sci.},
  volume       = {450},
  pages        = {392--408},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ins.2018.02.043},
  doi          = {10.1016/J.INS.2018.02.043},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isci/YueXHWS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/ChenH18,
  author       = {Chen Chen and
                  Hesuan Hu},
  title        = {Liveness-Enforcing Supervision in AMS-Oriented HAMGs: An Approach
                  Based on New Characterization of Siphons Using Petri Nets},
  journal      = {{IEEE} Trans. Autom. Control.},
  volume       = {63},
  number       = {7},
  pages        = {1987--2002},
  year         = {2018},
  url          = {https://doi.org/10.1109/TAC.2017.2758842},
  doi          = {10.1109/TAC.2017.2758842},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tac/ChenH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/WangRH18,
  author       = {Xiaojun Wang and
                  Feng Rui and
                  Hesuan Hu},
  title        = {Task Allocation Policy for {UGV} Systems using Colored Petri Nets},
  booktitle    = {2018 Annual American Control Conference, {ACC} 2018, Milwaukee, WI,
                  USA, June 27-29, 2018},
  pages        = {3050--3055},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.23919/ACC.2018.8430757},
  doi          = {10.23919/ACC.2018.8430757},
  timestamp    = {Sun, 08 Aug 2021 01:40:57 +0200},
  biburl       = {https://dblp.org/rec/conf/amcc/WangRH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icca/WangHH18,
  author       = {Xiaojun Wang and
                  Chun Han and
                  Hesuan Hu},
  title        = {Java Software for Petri-Net-Based Approaches to Discrete Event Systems},
  booktitle    = {14th {IEEE} International Conference on Control and Automation, {ICCA}
                  2018, Anchorage, AK, USA, June 12-15, 2018},
  pages        = {330--335},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICCA.2018.8444173},
  doi          = {10.1109/ICCA.2018.8444173},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/icca/WangHH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tem/LiuHZL17,
  author       = {Aijun Liu and
                  Hesuan Hu and
                  Xiao Zhang and
                  Deming Lei},
  title        = {Novel Two-Phase Approach for Process Optimization of Customer Collaborative
                  Design Based on Fuzzy-QFD and {DSM}},
  journal      = {{IEEE} Trans. Engineering Management},
  volume       = {64},
  number       = {2},
  pages        = {193--207},
  year         = {2017},
  url          = {https://doi.org/10.1109/TEM.2017.2651052},
  doi          = {10.1109/TEM.2017.2651052},
  timestamp    = {Mon, 06 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tem/LiuHZL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/ZhouHLD17,
  author       = {Yuan Zhou and
                  Hesuan Hu and
                  Yang Liu and
                  Zuohua Ding},
  title        = {Collision and Deadlock Avoidance in Multirobot Systems: {A} Distributed
                  Approach},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Syst.},
  volume       = {47},
  number       = {7},
  pages        = {1712--1726},
  year         = {2017},
  url          = {https://doi.org/10.1109/TSMC.2017.2670643},
  doi          = {10.1109/TSMC.2017.2670643},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/ZhouHLD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/HouH0L17,
  author       = {Junyao Hou and
                  Hesuan Hu and
                  Yuan Zhou and
                  Yang Liu},
  title        = {Decentralized supervisory control of Generalized Mutual Exclusion
                  Constraints in Petri Nets},
  booktitle    = {13th {IEEE} Conference on Automation Science and Engineering, {CASE}
                  2017, Xi'an, China, August 20-23, 2017},
  pages        = {358--363},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/COASE.2017.8256129},
  doi          = {10.1109/COASE.2017.8256129},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/HouH0L17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/DuHZL17,
  author       = {Nan Du and
                  Hesuan Hu and
                  Yuan Zhou and
                  Yang Liu},
  title        = {Robust control of automated manufacturing systems with complex structures
                  using Petri Nets},
  booktitle    = {13th {IEEE} Conference on Automation Science and Engineering, {CASE}
                  2017, Xi'an, China, August 20-23, 2017},
  pages        = {364--369},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/COASE.2017.8256130},
  doi          = {10.1109/COASE.2017.8256130},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/DuHZL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/WangHZL17,
  author       = {Xiaojun Wang and
                  Hesuan Hu and
                  Yuan Zhou and
                  Yang Liu},
  title        = {A robust control approach to automated manufacturing systems allowing
                  failures and reworks with Petri nets},
  booktitle    = {13th {IEEE} Conference on Automation Science and Engineering, {CASE}
                  2017, Xi'an, China, August 20-23, 2017},
  pages        = {370--375},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/COASE.2017.8256131},
  doi          = {10.1109/COASE.2017.8256131},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/WangHZL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/WangPH017,
  author       = {Jipeng Wang and
                  Chunrong Pan and
                  Hesuan Hu and
                  Yuan Zhou},
  title        = {Scheduling of single-arm cluster tools with multi-type wafers and
                  shared PMs},
  booktitle    = {13th {IEEE} Conference on Automation Science and Engineering, {CASE}
                  2017, Xi'an, China, August 20-23, 2017},
  pages        = {1046--1051},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/COASE.2017.8256242},
  doi          = {10.1109/COASE.2017.8256242},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/case/WangPH017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/WangH17,
  author       = {Xiaojun Wang and
                  Hesuan Hu},
  title        = {A robust control approach to AMSs allowing multiple types of resources
                  via Petri Nets},
  booktitle    = {56th {IEEE} Annual Conference on Decision and Control, {CDC} 2017,
                  Melbourne, Australia, December 12-15, 2017},
  pages        = {2354--2359},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/CDC.2017.8263993},
  doi          = {10.1109/CDC.2017.8263993},
  timestamp    = {Fri, 04 Mar 2022 13:29:55 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/WangH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/ChenHL17,
  author       = {Chen Chen and
                  Hesuan Hu and
                  Yang Liu},
  title        = {Static and dynamic partitions of inequalities and their application
                  in supervisor simplification},
  booktitle    = {2017 {IEEE} International Conference on Robotics and Automation, {ICRA}
                  2017, Singapore, Singapore, May 29 - June 3, 2017},
  pages        = {536--542},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICRA.2017.7989067},
  doi          = {10.1109/ICRA.2017.7989067},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/ChenHL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/YangHL17,
  author       = {Yan Yang and
                  Hesuan Hu and
                  Yang Liu},
  title        = {A distributed approach to automated manufacturing systems with complex
                  structures using Petri nets},
  booktitle    = {2017 {IEEE} International Conference on Robotics and Automation, {ICRA}
                  2017, Singapore, Singapore, May 29 - June 3, 2017},
  pages        = {3016--3023},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICRA.2017.7989346},
  doi          = {10.1109/ICRA.2017.7989346},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/YangHL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/HuLY16,
  author       = {Hesuan Hu and
                  Yang Liu and
                  Ling Yuan},
  title        = {Supervisor Simplification in FMSs: Comparative Studies and New Results
                  Using Petri Nets},
  journal      = {{IEEE} Trans. Control. Syst. Technol.},
  volume       = {24},
  number       = {1},
  pages        = {81--95},
  year         = {2016},
  url          = {https://doi.org/10.1109/TCST.2015.2420619},
  doi          = {10.1109/TCST.2015.2420619},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcst/HuLY16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/HuSZ016,
  author       = {Hesuan Hu and
                  Rong Su and
                  MengChu Zhou and
                  Yang Liu},
  title        = {Polynomially Complex Synthesis of Distributed Supervisors for Large-Scale
                  AMSs Using Petri Nets},
  journal      = {{IEEE} Trans. Control. Syst. Technol.},
  volume       = {24},
  number       = {5},
  pages        = {1610--1622},
  year         = {2016},
  url          = {https://doi.org/10.1109/TCST.2015.2504046},
  doi          = {10.1109/TCST.2015.2504046},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcst/HuSZ016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/HuYLD16,
  author       = {Hesuan Hu and
                  Yan Yang and
                  Yang Liu and
                  Nan Du},
  title        = {Critical stages and their identification in large scale automated
                  manufacturing systems via Petri nets},
  booktitle    = {{IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2016, Fort Worth, TX, USA, August 21-25, 2016},
  pages        = {413--420},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/COASE.2016.7743435},
  doi          = {10.1109/COASE.2016.7743435},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/HuYLD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/DuH16,
  author       = {Nan Du and
                  Hesuan Hu},
  title        = {Robust control of Backward Conflict Free Systems with Resources using
                  Petri nets},
  booktitle    = {{IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2016, Fort Worth, TX, USA, August 21-25, 2016},
  pages        = {1034--1041},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/COASE.2016.7743517},
  doi          = {10.1109/COASE.2016.7743517},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/DuH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/YangH16,
  author       = {Yan Yang and
                  Hesuan Hu},
  title        = {Mono-T-semiflow systems with resources and their distributed control
                  using Petri nets},
  booktitle    = {{IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2016, Fort Worth, TX, USA, August 21-25, 2016},
  pages        = {1042--1048},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/COASE.2016.7743518},
  doi          = {10.1109/COASE.2016.7743518},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/YangH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/DuH16,
  author       = {Nan Du and
                  Hesuan Hu},
  title        = {Robust control of Mono-T-Semiflow Processes with resources using Petri
                  nets},
  booktitle    = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas,
                  NV, USA, December 12-14, 2016},
  pages        = {4778--4784},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/CDC.2016.7798998},
  doi          = {10.1109/CDC.2016.7798998},
  timestamp    = {Fri, 04 Mar 2022 13:29:43 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/DuH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/DuH16a,
  author       = {Nan Du and
                  Hesuan Hu},
  title        = {Robust control of automated manufacturing systems with flexible routes
                  and assembly operations using Petri nets},
  booktitle    = {55th {IEEE} Conference on Decision and Control, {CDC} 2016, Las Vegas,
                  NV, USA, December 12-14, 2016},
  pages        = {4785--4790},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/CDC.2016.7798999},
  doi          = {10.1109/CDC.2016.7798999},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cdc/DuH16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/DuH16,
  author       = {Nan Du and
                  Hesuan Hu},
  title        = {Robust control of automated manufacturing systems with flexibility
                  embedded synchronizations using Petri nets},
  booktitle    = {15th European Control Conference, {ECC} 2016, Aalborg, Denmark, June
                  29 - July 1, 2016},
  pages        = {2322--2328},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ECC.2016.7810638},
  doi          = {10.1109/ECC.2016.7810638},
  timestamp    = {Tue, 01 Jun 2021 15:22:59 +0200},
  biburl       = {https://dblp.org/rec/conf/eucc/DuH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/0009H16,
  author       = {Chen Chen and
                  Hesuan Hu},
  title        = {Structure independence of supervisor simplification in automated manufacturing
                  systems using Petri nets},
  booktitle    = {15th European Control Conference, {ECC} 2016, Aalborg, Denmark, June
                  29 - July 1, 2016},
  pages        = {2329--2336},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ECC.2016.7810639},
  doi          = {10.1109/ECC.2016.7810639},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eucc/0009H16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/HuYLD16,
  author       = {Hesuan Hu and
                  Yan Yang and
                  Yang Liu and
                  Nan Du},
  title        = {Critical stages and their application in large scale automated manufacturing
                  systems via Petri nets},
  booktitle    = {15th European Control Conference, {ECC} 2016, Aalborg, Denmark, June
                  29 - July 1, 2016},
  pages        = {2337--2344},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ECC.2016.7810640},
  doi          = {10.1109/ECC.2016.7810640},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eucc/HuYLD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eucc/YangH16,
  author       = {Yan Yang and
                  Hesuan Hu},
  title        = {Distributed deadlock avoidance in automated manufacturing systems
                  with forward conflict free structures using Petri nets},
  booktitle    = {15th European Control Conference, {ECC} 2016, Aalborg, Denmark, June
                  29 - July 1, 2016},
  pages        = {2345--2352},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ECC.2016.7810641},
  doi          = {10.1109/ECC.2016.7810641},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eucc/YangH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/DuHL16,
  author       = {Nan Du and
                  Hesuan Hu and
                  Yang Liu},
  editor       = {Danica Kragic and
                  Antonio Bicchi and
                  Alessandro De Luca},
  title        = {Robust control of automated manufacturing systems with assembly operations
                  using petri nets},
  booktitle    = {2016 {IEEE} International Conference on Robotics and Automation, {ICRA}
                  2016, Stockholm, Sweden, May 16-21, 2016},
  pages        = {3632--3638},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICRA.2016.7487547},
  doi          = {10.1109/ICRA.2016.7487547},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/DuHL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/ChenYH16,
  author       = {Chen Chen and
                  Yan Yang and
                  Hesuan Hu},
  editor       = {Danica Kragic and
                  Antonio Bicchi and
                  Alessandro De Luca},
  title        = {Distributed supervisor synthesis for automated manufacturing systems
                  with flexible routes and assembly operations using Petri nets},
  booktitle    = {2016 {IEEE} International Conference on Robotics and Automation, {ICRA}
                  2016, Stockholm, Sweden, May 16-21, 2016},
  pages        = {3667--3673},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICRA.2016.7487552},
  doi          = {10.1109/ICRA.2016.7487552},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/ChenYH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wodes/YangH16,
  author       = {Yan Yang and
                  Hesuan Hu},
  editor       = {Christos G. Cassandras and
                  Alessandro Giua and
                  Zhiwu Li},
  title        = {Backward conflict free systems with resources and their distributed
                  control using Petri nets},
  booktitle    = {13th International Workshop on Discrete Event Systems, {WODES} 2016,
                  Xi'an, China, May 30 - June 1, 2016},
  pages        = {264--271},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/WODES.2016.7497858},
  doi          = {10.1109/WODES.2016.7497858},
  timestamp    = {Fri, 29 Apr 2022 15:37:30 +0200},
  biburl       = {https://dblp.org/rec/conf/wodes/YangH16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/candie/YueXHWS15,
  author       = {Hao Yue and
                  Keyi Xing and
                  Hesuan Hu and
                  Weimin Wu and
                  Hongye Su},
  title        = {Robust supervision using shared-buffers in automated manufacturing
                  systems with unreliable resources},
  journal      = {Comput. Ind. Eng.},
  volume       = {83},
  pages        = {139--150},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.cie.2015.01.028},
  doi          = {10.1016/J.CIE.2015.01.028},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/candie/YueXHWS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jim/HuWL15,
  author       = {Hesuan Hu and
                  Ling Wang and
                  Peter B. Luh},
  title        = {Intelligent manufacturing: New advances and challenges},
  journal      = {J. Intell. Manuf.},
  volume       = {26},
  number       = {5},
  pages        = {841--843},
  year         = {2015},
  url          = {https://doi.org/10.1007/s10845-015-1148-z},
  doi          = {10.1007/S10845-015-1148-Z},
  timestamp    = {Wed, 27 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jim/HuWL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ram/GoldbergLSFH15,
  author       = {Ken Goldberg and
                  Youfu Li and
                  Yu Sun and
                  Maria Pia Fanti and
                  Hesuan Hu},
  title        = {Emerging Advances in Automation [From the Guest Editors]},
  journal      = {{IEEE} Robotics Autom. Mag.},
  volume       = {22},
  number       = {2},
  pages        = {22, 98},
  year         = {2015},
  url          = {https://doi.org/10.1109/MRA.2015.2418516},
  doi          = {10.1109/MRA.2015.2418516},
  timestamp    = {Thu, 20 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ram/GoldbergLSFH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/TianZCQH15,
  author       = {Guangdong Tian and
                  MengChu Zhou and
                  Jiangwei Chu and
                  Tiangang Qiang and
                  Hesuan Hu},
  title        = {Stochastic Cost-Profit Tradeoff Model for Locating an Automotive Service
                  Enterprise},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {12},
  number       = {2},
  pages        = {580--587},
  year         = {2015},
  url          = {https://doi.org/10.1109/TASE.2013.2297623},
  doi          = {10.1109/TASE.2013.2297623},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/TianZCQH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/HuZ15,
  author       = {Hesuan Hu and
                  MengChu Zhou},
  title        = {A Petri Net-Based Discrete-Event Control of Automated Manufacturing
                  Systems With Assembly Operations},
  journal      = {{IEEE} Trans. Control. Syst. Technol.},
  volume       = {23},
  number       = {2},
  pages        = {513--524},
  year         = {2015},
  url          = {https://doi.org/10.1109/TCST.2014.2342664},
  doi          = {10.1109/TCST.2014.2342664},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcst/HuZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/Hu0Z15,
  author       = {Hesuan Hu and
                  Yang Liu and
                  Mengchu Zhou},
  title        = {Maximally Permissive Distributed Control of Large Scale Automated
                  Manufacturing Systems Modeled With Petri Nets},
  journal      = {{IEEE} Trans. Control. Syst. Technol.},
  volume       = {23},
  number       = {5},
  pages        = {2026--2034},
  year         = {2015},
  url          = {https://doi.org/10.1109/TCST.2015.2391014},
  doi          = {10.1109/TCST.2015.2391014},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcst/Hu0Z15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/HuL15,
  author       = {Hesuan Hu and
                  Yang Liu},
  title        = {Supervisor Synthesis and Performance Improvement for Automated Manufacturing
                  Systems by Using Petri Nets},
  journal      = {{IEEE} Trans. Ind. Informatics},
  volume       = {11},
  number       = {2},
  pages        = {450--458},
  year         = {2015},
  url          = {https://doi.org/10.1109/TII.2015.2402619},
  doi          = {10.1109/TII.2015.2402619},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tii/HuL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/MarkovskiH15,
  author       = {Jasen Markovski and
                  Hesuan Hu},
  title        = {Is multicore supervisory controller synthesis in the Ramadge-Wonham
                  framework feasible?},
  booktitle    = {{IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2015, Gothenburg, Sweden, August 24-28, 2015},
  pages        = {521--525},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/CoASE.2015.7294132},
  doi          = {10.1109/COASE.2015.7294132},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/case/MarkovskiH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/ChenH15,
  author       = {Chen Chen and
                  Hesuan Hu},
  title        = {Maximally permissive distributed control of automated manufacturing
                  systems with assembly operations using Petri nets},
  booktitle    = {{IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2015, Gothenburg, Sweden, August 24-28, 2015},
  pages        = {532--538},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/CoASE.2015.7294134},
  doi          = {10.1109/COASE.2015.7294134},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/ChenH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/ChengHL15,
  author       = {Yan Cheng and
                  Hesuan Hu and
                  Yang Liu},
  title        = {Robust supervisor synthesis for automated manufacturing systems using
                  Petri nets},
  booktitle    = {{IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2015, Gothenburg, Sweden, August 24-28, 2015},
  pages        = {1029--1035},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/CoASE.2015.7294234},
  doi          = {10.1109/COASE.2015.7294234},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/ChengHL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/YangH015,
  author       = {Yan Yang and
                  Hesuan Hu and
                  Yang Liu},
  title        = {A Petri net-based distributed control of automated manufacturing systems
                  with assembly operations},
  booktitle    = {{IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2015, Gothenburg, Sweden, August 24-28, 2015},
  pages        = {1090--1097},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/CoASE.2015.7294244},
  doi          = {10.1109/COASE.2015.7294244},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/YangH015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/HuCLY15,
  author       = {Hesuan Hu and
                  Chen Chen and
                  Yang Liu and
                  Yan Yang},
  title        = {Supervisors and their simplification in automated manufacturing systems
                  via Petri nets},
  booktitle    = {{IEEE} International Conference on Robotics and Automation, {ICRA}
                  2015, Seattle, WA, USA, 26-30 May, 2015},
  pages        = {969--975},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICRA.2015.7139294},
  doi          = {10.1109/ICRA.2015.7139294},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/HuCLY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/HuYLC15,
  author       = {Hesuan Hu and
                  Yan Yang and
                  Yang Liu and
                  Chen Chen},
  title        = {Supervisor design and simplification for Automated Manufacturing Systems
                  using colored Petri nets},
  booktitle    = {{IEEE} International Conference on Robotics and Automation, {ICRA}
                  2015, Seattle, WA, USA, 26-30 May, 2015},
  pages        = {3826--3832},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICRA.2015.7139732},
  doi          = {10.1109/ICRA.2015.7139732},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/HuYLC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/ChenH15,
  author       = {Chen Chen and
                  Hesuan Hu},
  title        = {Time-varying automated manufacturing systems and their event-based
                  control: {A} Petri net approach},
  booktitle    = {{IEEE} International Conference on Robotics and Automation, {ICRA}
                  2015, Seattle, WA, USA, 26-30 May, 2015},
  pages        = {3833--3840},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICRA.2015.7139733},
  doi          = {10.1109/ICRA.2015.7139733},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/ChenH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/ChenH15a,
  author       = {Chen Chen and
                  Hesuan Hu},
  title        = {An approach to specification simplification in automated manufacturing
                  systems using invariance and inequality analysis},
  booktitle    = {{IEEE} International Conference on Robotics and Automation, {ICRA}
                  2015, Seattle, WA, USA, 26-30 May, 2015},
  pages        = {3841--3848},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICRA.2015.7139734},
  doi          = {10.1109/ICRA.2015.7139734},
  timestamp    = {Mon, 22 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/ChenH15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/HuL14,
  author       = {Hesuan Hu and
                  Yang Liu},
  title        = {Supervisor Simplification for {AMS} Based on Petri Nets and Inequality
                  Analysis},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {11},
  number       = {1},
  pages        = {66--77},
  year         = {2014},
  url          = {https://doi.org/10.1109/TASE.2013.2288645},
  doi          = {10.1109/TASE.2013.2288645},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/HuL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/MarkovskiH14,
  author       = {Jasen Markovski and
                  Hesuan Hu},
  title        = {A synthesis-centric model-based systems engineering framework for
                  reliable supervision of systems with general distributions},
  booktitle    = {2014 {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2014, New Taipei, Taiwan, August 18-22, 2014},
  pages        = {436--442},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/CoASE.2014.6899362},
  doi          = {10.1109/COASE.2014.6899362},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/case/MarkovskiH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/HuYLC14,
  author       = {Hesuan Hu and
                  Yan Yang and
                  Yang Liu and
                  Chen Chen},
  title        = {Simplifying supervisory controllers of automated manufacturing systems
                  via Petri net modeling and multiset analysis},
  booktitle    = {2014 {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2014, New Taipei, Taiwan, August 18-22, 2014},
  pages        = {449--454},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/CoASE.2014.6899364},
  doi          = {10.1109/COASE.2014.6899364},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/HuYLC14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/HuCLY14,
  author       = {Hesuan Hu and
                  Chen Chen and
                  Yang Liu and
                  Yan Yang},
  title        = {A comparative approach to supervisor simplification in automated manufacturing
                  systems using Petri nets},
  booktitle    = {2014 {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2014, New Taipei, Taiwan, August 18-22, 2014},
  pages        = {619--625},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/CoASE.2014.6899392},
  doi          = {10.1109/COASE.2014.6899392},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/HuCLY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/HuCSLZ14,
  author       = {Hesuan Hu and
                  Chen Chen and
                  Rong Su and
                  Yang Liu and
                  MengChu Zhou},
  title        = {Distributed supervisor synthesis for automated manufacturing systems
                  using Petri nets},
  booktitle    = {2014 {IEEE} International Conference on Robotics and Automation, {ICRA}
                  2014, Hong Kong, China, May 31 - June 7, 2014},
  pages        = {4423--4429},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ICRA.2014.6907504},
  doi          = {10.1109/ICRA.2014.6907504},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/HuCSLZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/HuZLT13,
  author       = {Hesuan Hu and
                  MengChu Zhou and
                  Zhiwu Li and
                  Ying Tang},
  title        = {An Optimization Approach to Improved Petri Net Controller Design for
                  Automated Manufacturing Systems},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {10},
  number       = {3},
  pages        = {772--782},
  year         = {2013},
  url          = {https://doi.org/10.1109/TASE.2012.2201714},
  doi          = {10.1109/TASE.2012.2201714},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/HuZLT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/HuZLT13,
  author       = {Hesuan Hu and
                  MengChu Zhou and
                  Zhiwu Li and
                  Ying Tang},
  title        = {Deadlock-Free Control of Automated Manufacturing Systems With Flexible
                  Routes and Assembly Operations Using Petri Nets},
  journal      = {{IEEE} Trans. Ind. Informatics},
  volume       = {9},
  number       = {1},
  pages        = {109--121},
  year         = {2013},
  url          = {https://doi.org/10.1109/TII.2012.2198661},
  doi          = {10.1109/TII.2012.2198661},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tii/HuZLT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/PanHJ13,
  author       = {Yen{-}Liang Pan and
                  Hesuan Hu and
                  MuDer Jeng},
  title        = {One computationally improved deadlock prevention policy for flexible
                  manufacturing systems using Petri nets},
  booktitle    = {2013 {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2013, Madison, WI, USA, August 17-20, 2013},
  pages        = {924--929},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/CoASE.2013.6654012},
  doi          = {10.1109/COASE.2013.6654012},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/case/PanHJ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/YueH13,
  author       = {Hao Yue and
                  Hesuan Hu},
  title        = {Robust deadlock control using shared-resources for production systems
                  with unreliable workstations},
  booktitle    = {2013 {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2013, Madison, WI, USA, August 17-20, 2013},
  pages        = {1095--1100},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/CoASE.2013.6654028},
  doi          = {10.1109/COASE.2013.6654028},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/YueH13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/HuZL13,
  author       = {Hesuan Hu and
                  MengChu Zhou and
                  Yang Liu},
  title        = {Supervisor synthesis and performance improvement for automated manufacturing
                  systems by using Petri nets},
  booktitle    = {2013 {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2013, Madison, WI, USA, August 17-20, 2013},
  pages        = {1139--1144},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/CoASE.2013.6654039},
  doi          = {10.1109/COASE.2013.6654039},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/HuZL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/HuZL13a,
  author       = {Hesuan Hu and
                  MengChu Zhou and
                  Yang Liu},
  title        = {Maximally permissive distributed control of large scale automated
                  manufacturing systems modeled with Petri nets},
  booktitle    = {2013 {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2013, Madison, WI, USA, August 17-20, 2013},
  pages        = {1145--1150},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/CoASE.2013.6654040},
  doi          = {10.1109/COASE.2013.6654040},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/HuZL13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/YueH13a,
  author       = {Hao Yue and
                  Hesuan Hu},
  title        = {A polynomial deadlock avoidance policy for a class of assembly processes
                  based on Petri nets},
  booktitle    = {2013 {IEEE} International Conference on Automation Science and Engineering,
                  {CASE} 2013, Madison, WI, USA, August 17-20, 2013},
  pages        = {1151--1156},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/CoASE.2013.6654029},
  doi          = {10.1109/COASE.2013.6654029},
  timestamp    = {Thu, 25 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/YueH13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icca/LiuHHBZ13,
  author       = {Ding Liu and
                  Yifan Hou and
                  Hesuan Hu and
                  Kamel Barkaoui and
                  MengChu Zhou},
  title        = {Liveness and resource usage ratio-enforcing supervisor for a class
                  of generalized Petri nets},
  booktitle    = {10th {IEEE} International Conference on Control and Automation, {ICCA}
                  2013, Hangzhou, China, June 12-14, 2013},
  pages        = {1278--1283},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICCA.2013.6564945},
  doi          = {10.1109/ICCA.2013.6564945},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/icca/LiuHHBZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/HuZL13,
  author       = {Hesuan Hu and
                  MengChu Zhou and
                  ZhiWu Li},
  title        = {A novel method to simplify supervisor for {AMS} based on Petri nets
                  and inequality analysis},
  booktitle    = {2013 {IEEE} International Conference on Robotics and Automation, Karlsruhe,
                  Germany, May 6-10, 2013},
  pages        = {3573--3579},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICRA.2013.6631078},
  doi          = {10.1109/ICRA.2013.6631078},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/HuZL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/HuZL12,
  author       = {Hesuan Hu and
                  MengChu Zhou and
                  ZhiWu Li},
  title        = {Liveness and Ratio-Enforcing Supervision of Automated Manufacturing
                  Systems Using Petri Nets},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Part {A}},
  volume       = {42},
  number       = {2},
  pages        = {392--403},
  year         = {2012},
  url          = {https://doi.org/10.1109/TSMCA.2011.2162502},
  doi          = {10.1109/TSMCA.2011.2162502},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/HuZL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icarcv/HuS12,
  author       = {Hesuan Hu and
                  Rong Su},
  title        = {A novel approach to liveness supervision of {AMS} with assembly operations
                  using Petri nets},
  booktitle    = {12th International Conference on Control Automation Robotics {\&}
                  Vision, {ICARCV} 2012, Guangzhou, China, December 5-7, 2012},
  pages        = {264--269},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/ICARCV.2012.6485169},
  doi          = {10.1109/ICARCV.2012.6485169},
  timestamp    = {Wed, 22 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icarcv/HuS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/candie/HuLA11,
  author       = {Hesuan Hu and
                  Zhiwu Li and
                  Abdulrahman Al{-}Ahmari},
  title        = {Reversed fuzzy Petri nets and their application for fault diagnosis},
  journal      = {Comput. Ind. Eng.},
  volume       = {60},
  number       = {4},
  pages        = {505--510},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.cie.2010.12.003},
  doi          = {10.1016/J.CIE.2010.12.003},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/candie/HuLA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcim/LiLH11,
  author       = {Shao Yong Li and
                  ZhiWu Li and
                  Hesuan Hu},
  title        = {Siphon extraction for deadlock control in flexible manufacturing systems
                  by using Petri nets},
  journal      = {Int. J. Comput. Integr. Manuf.},
  volume       = {24},
  number       = {8},
  pages        = {710--725},
  year         = {2011},
  url          = {https://doi.org/10.1080/0951192X.2011.575182},
  doi          = {10.1080/0951192X.2011.575182},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijcim/LiLH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/HuZL11,
  author       = {Hesuan Hu and
                  MengChu Zhou and
                  Zhiwu Li},
  title        = {Supervisor Optimization for Deadlock Resolution in Automated Manufacturing
                  Systems With Petri Nets},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {8},
  number       = {4},
  pages        = {794--804},
  year         = {2011},
  url          = {https://doi.org/10.1109/TASE.2011.2156783},
  doi          = {10.1109/TASE.2011.2156783},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/HuZL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/HuZL11,
  author       = {Hesuan Hu and
                  Mengchu Zhou and
                  Zhiwu Li},
  title        = {Supervisor Design to Enforce Production Ratio and Absence of Deadlock
                  in Automated Manufacturing Systems},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Part {A}},
  volume       = {41},
  number       = {2},
  pages        = {201--212},
  year         = {2011},
  url          = {https://doi.org/10.1109/TSMCA.2010.2058101},
  doi          = {10.1109/TSMCA.2010.2058101},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/HuZL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/HuTZL11,
  author       = {Hesuan Hu and
                  Ying Tang and
                  Mengchu Zhou and
                  Zhiwu Li},
  title        = {Liveness supervision of {AMS} with complex processes using Petri nets},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man
                  and Cybernetics, Anchorage, Alaska, USA, October 9-12, 2011},
  pages        = {844--849},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICSMC.2011.6083758},
  doi          = {10.1109/ICSMC.2011.6083758},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/HuTZL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsysc/ZhaoLH10,
  author       = {Mi Zhao and
                  ZhiWu Li and
                  Hesuan Hu},
  title        = {Suboptimal liveness-enforcing supervisor design for a class of generalised
                  Petri nets using partial siphon enumeration and mathematical programming},
  journal      = {Int. J. Syst. Sci.},
  volume       = {41},
  number       = {9},
  pages        = {1013--1026},
  year         = {2010},
  url          = {https://doi.org/10.1080/00207720903171779},
  doi          = {10.1080/00207720903171779},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijsysc/ZhaoLH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jim/HuL10,
  author       = {Hesuan Hu and
                  Zhiwu Li},
  title        = {Synthesis of liveness enforcing supervisor for automated manufacturing
                  systems using insufficiently marked siphons},
  journal      = {J. Intell. Manuf.},
  volume       = {21},
  number       = {4},
  pages        = {555--567},
  year         = {2010},
  url          = {https://doi.org/10.1007/s10845-009-0238-1},
  doi          = {10.1007/S10845-009-0238-1},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jim/HuL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/HuZL10,
  author       = {Hesuan Hu and
                  MengChu Zhou and
                  ZhiWu Li},
  title        = {Algebraic Synthesis of Timed Supervisor for Automated Manufacturing
                  Systems Using Petri Nets},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {7},
  number       = {3},
  pages        = {549--557},
  year         = {2010},
  url          = {https://doi.org/10.1109/TASE.2009.2037825},
  doi          = {10.1109/TASE.2009.2037825},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/HuZL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/HuZL10a,
  author       = {Hesuan Hu and
                  MengChu Zhou and
                  Zhiwu Li},
  title        = {Low-Cost and High-Performance Supervision in Ratio-Enforced Automated
                  Manufacturing Systems Using Timed Petri Nets},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {7},
  number       = {4},
  pages        = {933--944},
  year         = {2010},
  url          = {https://doi.org/10.1109/TASE.2010.2046412},
  doi          = {10.1109/TASE.2010.2046412},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/HuZL10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/case/HuZLW10,
  author       = {Hesuan Hu and
                  Mengchu Zhou and
                  Zhiwu Li and
                  Naiqi Wu},
  title        = {Deadlock-free control of ratio-enforced automated manufacturing systems
                  with flexible routes and assembly operations},
  booktitle    = {{IEEE} Conference on Automation Science and Engineering, {CASE} 2010,
                  Toronto, ON, Canada, 21-24 August, 2010},
  pages        = {459--464},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/COASE.2010.5584207},
  doi          = {10.1109/COASE.2010.5584207},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/case/HuZLW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/HuZL10,
  author       = {Hesuan Hu and
                  Mengchu Zhou and
                  Zhiwu Li},
  title        = {Deadlock resolution method for automated manufacturing systems modeled
                  with Petri nets},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man
                  and Cybernetics, Istanbul, Turkey, 10-13 October 2010},
  pages        = {2551--2556},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICSMC.2010.5641919},
  doi          = {10.1109/ICSMC.2010.5641919},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/HuZL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/candie/LiH09,
  author       = {ZhiWu Li and
                  Hesuan Hu},
  title        = {On systematic methods to remove redundant monitors from liveness-enforcing
                  net supervisors},
  journal      = {Comput. Ind. Eng.},
  volume       = {56},
  number       = {1},
  pages        = {53--62},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.cie.2008.03.013},
  doi          = {10.1016/J.CIE.2008.03.013},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/candie/LiH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/candie/HuL09,
  author       = {Hesuan Hu and
                  Zhiwu Li},
  title        = {Local and global deadlock prevention policies for resource allocation
                  systems using partially generated reachability graphs},
  journal      = {Comput. Ind. Eng.},
  volume       = {57},
  number       = {4},
  pages        = {1168--1181},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.cie.2009.05.006},
  doi          = {10.1016/J.CIE.2009.05.006},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/candie/HuL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jise/HuL09,
  author       = {Hesuan Hu and
                  Zhiwu Li},
  title        = {Liveness Enforcing Supervision in Video Streaming Systems using Siphons},
  journal      = {J. Inf. Sci. Eng.},
  volume       = {25},
  number       = {6},
  pages        = {1863--1884},
  year         = {2009},
  url          = {http://www.iis.sinica.edu.tw/page/jise/2009/200911\_13.html},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jise/HuL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/HuL09,
  author       = {Hesuan Hu and
                  Zhiwu Li},
  title        = {Clarification on the Computation of Liveness-Enforcing Supervisor
                  for Resource Allocation Systems With Uncontrollable Behavior},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {6},
  number       = {3},
  pages        = {557--559},
  year         = {2009},
  url          = {https://doi.org/10.1109/TASE.2009.2021349},
  doi          = {10.1109/TASE.2009.2021349},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/HuL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmm/HuZL09,
  author       = {Hesuan Hu and
                  MengChu Zhou and
                  ZhiWu Li},
  title        = {Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential
                  Petri Nets},
  journal      = {{IEEE} Trans. Multim.},
  volume       = {11},
  number       = {8},
  pages        = {1457--1465},
  year         = {2009},
  url          = {https://doi.org/10.1109/TMM.2009.2032678},
  doi          = {10.1109/TMM.2009.2032678},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tmm/HuZL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/HuzL09,
  author       = {Hesuan Hu and
                  Mengchu Zhou and
                  Zhiwu Li},
  title        = {A New Class of Petri Nets for Modeling and Control of Ratio-enforced
                  Resource Allocation Systems},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man
                  and Cybernetics, San Antonio, TX, USA, 11-14 October 2009},
  pages        = {199--204},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICSMC.2009.5346106},
  doi          = {10.1109/ICSMC.2009.5346106},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/HuzL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/HuLZ08,
  author       = {Hesuan Hu and
                  Zhiwu Li and
                  Mengchu Zhou},
  title        = {Two generalized-petri-net-based strategies for deadlock prevention
                  in resource allocation systems},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man
                  and Cybernetics, Singapore, 12-15 October 2008},
  pages        = {1948--1953},
  publisher    = {{IEEE}},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICSMC.2008.4811575},
  doi          = {10.1109/ICSMC.2008.4811575},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/HuLZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adma/HuLW06,
  author       = {Hesuan Hu and
                  ZhiWu Li and
                  Anrong Wang},
  editor       = {Xue Li and
                  Osmar R. Za{\"{\i}}ane and
                  Zhanhuai Li},
  title        = {Mining of Flexible Manufacturing System Using Work Event Logs and
                  Petri Nets},
  booktitle    = {Advanced Data Mining and Applications, Second International Conference,
                  {ADMA} 2006, Xi'an, China, August 14-16, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4093},
  pages        = {380--387},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11811305\_42},
  doi          = {10.1007/11811305\_42},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adma/HuLW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cis/HuLW05,
  author       = {Hesuan Hu and
                  ZhiWu Li and
                  Weidong Wang},
  editor       = {Yue Hao and
                  Jiming Liu and
                  Yuping Wang and
                  Yiu{-}ming Cheung and
                  Hujun Yin and
                  Licheng Jiao and
                  Jianfeng Ma and
                  Yong{-}Chang Jiao},
  title        = {Modified {PSO} Algorithm for Deadlock Control in {FMS}},
  booktitle    = {Computational Intelligence and Security, International Conference,
                  {CIS} 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part
                  {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {3801},
  pages        = {1094--1099},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11596448\_163},
  doi          = {10.1007/11596448\_163},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cis/HuLW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/LiHZ04,
  author       = {ZhiWu Li and
                  Hesuan Hu and
                  MengChu Zhou},
  title        = {An algorithm for an optimal set of elementary siphons in Petri nets
                  for deadlock control},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man
                  {\&} Cybernetics: The Hague, Netherlands, 10-13 October 2004},
  pages        = {4849--4854},
  publisher    = {{IEEE}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICSMC.2004.1401299},
  doi          = {10.1109/ICSMC.2004.1401299},
  timestamp    = {Fri, 29 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/LiHZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics