1.Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs

Chen, YF, Li, ZW, Ba     More...

Chen, YF, Li, ZW, Barkaoui, K, Wu, NQ, Zhou, MC     Less

IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS[2168-2216], Published 2017, Volume 47, Issue 2, Pages 364-379

收錄情况： WOS SCOPUS

WOS核心合集引用: 116  2024影響因子:  8.7  发表年影響因子:  5.135 

2.Fully Expanded Tree for Property Analysis of One-Place-Unbounded Petri Nets

Ding, ZJ, Pan, MQ, Y     More...

Ding, ZJ, Pan, MQ, Yang, R, Jiang, CJ, Zhou, MC     Less

IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS[2168-2216], Published 2017, Volume 47, Issue 9, Pages 2574-2585

收錄情况： WOS SCOPUS

WOS核心合集引用: 16  2024影響因子:  8.7  发表年影響因子:  5.135 

3.Deadlock and liveness characterization for a class of generalized Petri nets

Liu, M, Wang, SG, Zh     More...

Liu, M, Wang, SG, Zhou, MC, Liu, D, Al-Ahmari, A, Qu, T, Wu, NQ, Li, ZW     Less

INFORMATION SCIENCES[0020-0255], Published 2017, Volume 420, Pages 403-416

收錄情况： WOS SCOPUS

WOS核心合集引用: 14  2024影響因子:  6.8  发表年影響因子:  4.305 

4.Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets

Wu, NQ, Zhou, MC     More...

Wu, NQ, Zhou, MC     Less

OR SPECTRUM[0171-6468], Published 2007, Volume 29, Issue 3, Pages 421-443

收錄情况： WOS SCOPUS

WOS核心合集引用: 37  2024影響因子:  1.9  发表年影響因子:  0.562 

5.Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS

Uzam, M, Li, ZW, Zho     More...

Uzam, M, Li, ZW, Zhou, MC     Less

INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY[0268-3768], Published 2007, Volume 35, Issue 1-2, Pages 150-168

收錄情况： WOS SCOPUS

WOS核心合集引用: 94  2024影響因子:  3.1  发表年影響因子:  0.378 

6.A Method to Compute Strict Minimal Siphons in a Class of Petri Nets Based on Loop Resource Subsets

Wang, SG, Wang, CY,     More...

Wang, SG, Wang, CY, Zhou, MC, Li, ZW     Less

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS[1083-4427], Published 2012, Volume 42, Issue 1, Pages 226-237

收錄情况： WOS SCOPUS

WOS核心合集引用: 83  发表年影響因子:  2.183 

7.Iterative Deadlock Control by Using Petri Nets

Wang, AR, Li, ZW, Zh     More...

Wang, AR, Li, ZW, Zhou, MC, Al-Ahmari, AM     Less

IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS[1094-6977], Published 2012, Volume 42, Issue 6, Pages 1204-1218

收錄情况： WOS SCOPUS

WOS核心合集引用: 12  发表年影響因子:  2.548 

8.A New Modified Reachability Tree Approach and Its Applications to Unbounded Petri Nets

Wang, SG, Zhou, MC,     More...

Wang, SG, Zhou, MC, Li, ZW, Wang, CY     Less

IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS[2168-2216], Published 2013, Volume 43, Issue 4, Pages 932-940

收錄情况： WOS SCOPUS

WOS核心合集引用: 48  2024影響因子:  8.7  发表年影響因子:  2.169 

9.An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems

Uzam, Murat, Zhou, M     More...

Uzam, Murat, Zhou, Mengchu     Less

International Journal of Production Research[1366-588X], Published 2006, Volume 44, Issue 10, Pages 1987-2030

收錄情况： SCOPUS

2024影響因子:  7.3 

10.An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems

Uzam, Murat, Zhou, M     More...

Uzam, Murat, Zhou, MengChu     Less

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans[1083-4427], Published 2007, Volume 37, Issue 3, Pages 362-371

收錄情况： WOS SCOPUS

WOS核心合集引用: 222  发表年影響因子:  0.868 

11.Deadlock checking for one-place unbounded Petri nets based on modified reachability trees

Ding, ZhiJun, Jiang,     More...

Ding, ZhiJun, Jiang, ChangJun, Zhou, MengChu     Less

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics[1083-4419], Published 2008, Volume 38, Issue 3, Pages 881-883

收錄情况： WOS SCOPUS

WOS核心合集引用: 35  发表年影響因子:  2.361 

12.Resource-transition circuits and siphons for deadlock control of automated manufacturing systems

Xing, Keyi, Wang, Fe     More...

Xing, Keyi, Wang, Feng, Liu, Huixia, Tian, Feng, Zhou, Mengchu     Less

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans[1083-4427], Published 2011, Volume 41, Issue 1, Pages 74-84

收錄情况： WOS SCOPUS

WOS核心合集引用: 124  发表年影響因子:  2.123 

13.Protocol-level service composition mismatches: A petri net siphon based solution

Xiong, Peng Cheng, P     More...

Xiong, Peng Cheng, Pu, Calton, Zhou, Meng Chu     Less

International Journal of Web Services Research[1546-5004], Published 2010, Volume 7, Issue 4, Pages 1-20

收錄情况： WOS SCOPUS

WOS核心合集引用: 15  2024影響因子:  0.7 

14.Controllability conditions of resultant siphons in a class of Petri nets

Wang, ShouGuang, Wan     More...

Wang, ShouGuang, Wang, ChengYing, Zhou, MengChu     Less

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans[1083-4427], Published 2012, Volume 42, Issue 5, Pages 1206-1215

收錄情况： WOS SCOPUS

WOS核心合集引用: 60  发表年影響因子:  2.183 

15.The liveness of WS3PR: Complexity and decision

Liu, GuanJun, Jiang,     More...

Liu, GuanJun, Jiang, ChangJun, Zhou, MengChu, Ohta, Atsushi     Less

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences[0916-8508], Published 2013, Volume E96-A, Issue 8, Pages 1783-1793

收錄情况： WOS SCOPUS

WOS核心合集引用: 15  2024影響因子:  0.4 

16.Design of optimal monitor-based supervisors for a class of petri netswith uncontrollable transitions

Wang, Shouguang, Wan     More...

Wang, Shouguang, Wang, Chengying, Zhou, Mengchu     Less

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans[1083-4427], Published 2013, Volume 43, Issue 5, Pages 1248-1255

收錄情况： WOS SCOPUS

WOS核心合集引用: 43 

17.Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems

Wang, Shouguang, Wu,     More...

Wang, Shouguang, Wu, Wenhui, Zhou, Mengchu     Less

Asian Journal of Control[1561-8625], Published 2015, Volume 17, Issue 1, Pages 190-201

收錄情况： WOS SCOPUS

WOS核心合集引用: 19  2024影響因子:  2.7  发表年影響因子:  1.407 

18.Synthesis of Petri net supervisors for FMS via redundant constraint elimination

Huang, Bo, Zhang, Go     More...

Huang, Bo, Zhang, Gongxuan, Zhou, Mengchu     Less

Automatica[0005-1098], Published 2015, Volume 61, Pages 156-163

收錄情况： WOS SCOPUS

WOS核心合集引用: 24  2024影響因子:  5.9  发表年影響因子:  3.635 

19.A reduced reachability tree for a class of unbounded petri nets

Wang, Shouguang, Gan     More...

Wang, Shouguang, Gan, Mengdi, Zhou, Mengchu, You, Dan     Less

IEEE/CAA Journal of Automatica Sinica[2329-9266], Published 2015, Volume 2, Issue 4, Pages 345-352

收錄情况： SCOPUS

2024影響因子:  19.2 

20.Robust deadlock control for automated manufacturing systems with a single type of unreliable resources

Wu, Yunchao, Xing, K     More...

Wu, Yunchao, Xing, Keyi, Feng, Yanxiang, Zhou, Mengchu, Liu, Huixia     Less

Advances in Mechanical Engineering[1687-8132], Published 2018, Volume 10, Issue 5,

收錄情况： WOS SCOPUS

WOS核心合集引用: 16  2024影響因子:  2.0  发表年影響因子:  1.024