1.Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators

Ma, ZY, Li, ZW, Giua     More...

Ma, ZY, Li, ZW, Giua, A     Less

AUTOMATICA[0005-1098], Published 2016, Volume 74, Pages 238-246

收錄情况： WOS SCOPUS

WOS核心合集引用: 30  2023影響因子:  4.8  发表年影響因子:  5.451 

2.Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101]

Ma, ZY, Li, ZW, Giua     More...

Ma, ZY, Li, ZW, Giua, A     Less

AUTOMATICA[0005-1098], Published 2015, Volume 51, Pages 131-134

收錄情况： WOS SCOPUS

WOS核心合集引用: 6  2023影響因子:  4.8  发表年影響因子:  3.635 

3.On the enforcement of a class of nonlinear constraints on Petri nets

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

Chen, YF, Li, ZW, Barkaoui, K, Giua, A     Less

AUTOMATICA[0005-1098], Published 2015, Volume 55, Pages 116-124

收錄情况： WOS SCOPUS

WOS核心合集引用: 100  2023影響因子:  4.8  发表年影響因子:  3.635 

4.A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets

Liu, D, Li, ZW, Zhou     More...

Liu, D, Li, ZW, Zhou, MC     Less

AUTOMATICA[0005-1098], Published 2013, Volume 49, Issue 11, Pages 3167-3179

收錄情况： WOS SCOPUS

WOS核心合集引用: 20  2023影響因子:  4.8  发表年影響因子:  3.132 

5.Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems

Chen, YF, Li, ZW     More...

Chen, YF, Li, ZW     Less

AUTOMATICA[0005-1098], Published 2011, Volume 47, Issue 5, Pages 1028-1034

收錄情况： WOS SCOPUS

WOS核心合集引用: 192  2023影響因子:  4.8  发表年影響因子:  2.829 

6.On structural minimality of optimal supervisors for flexible manufacturing systems

Chen, YF, Li, ZW     More...

Chen, YF, Li, ZW     Less

AUTOMATICA[0005-1098], Published 2012, Volume 48, Issue 10, Pages 2647-2656

收錄情况： WOS SCOPUS

WOS核心合集引用: 67  2023影響因子:  4.8  发表年影響因子:  2.919 

7.Decidability of opacity verification problems in labeled Petri net systems

Tong, Y, Li, ZW, Sea     More...

Tong, Y, Li, ZW, Seatzu, C, Giua, A     Less

AUTOMATICA[0005-1098], Published 2017, Volume 80, Pages 48-53

收錄情况： WOS SCOPUS

WOS核心合集引用: 49  2023影響因子:  4.8  发表年影響因子:  6.126 

8.Liveness of an extended (SPR)-P-3

Liu, D, Li, ZW, Zhou     More...

Liu, D, Li, ZW, Zhou, MC     Less

AUTOMATICA[0005-1098], Published 2010, Volume 46, Issue 6, Pages 1008-1018

收錄情况： WOS SCOPUS

WOS核心合集引用: 75  2023影響因子:  4.8  发表年影響因子:  2.172 

9.Liveness of an extended (SPR)-P-3 (vol 46, pg 1008, 2010)

Liu, D, Li, ZW, Zhou     More...

Liu, D, Li, ZW, Zhou, MC     Less

AUTOMATICA[0005-1098], Published 2012, Volume 48, Issue 5, Pages 1003-1004

收錄情况： WOS SCOPUS

WOS核心合集引用: 9  2023影響因子:  4.8  发表年影響因子:  2.919 

10.Authors' Reply to 'Comments on "Liveness of an extended (SPR)-P-3" [Automatica 46(6) (2010) 1008-1018]'

Liu, D, Li, ZW, Zhou     More...

Liu, D, Li, ZW, Zhou, MC     Less

AUTOMATICA[0005-1098], Published 2014, Volume 50, Issue 8, Pages 2201-2201

收錄情况： WOS SCOPUS

WOS核心合集引用: 0  2023影響因子:  4.8  发表年影響因子:  3.020 

11.Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems

Wang, X, Li, ZW, Won     More...

Wang, X, Li, ZW, Wonham, WM     Less

AUTOMATICA[0005-1098], Published 2018, Volume 89, Pages 392-397

收錄情况： WOS SCOPUS

WOS核心合集引用: 8  2023影響因子:  4.8  发表年影響因子:  6.355 

12.On-line verification of current-state opacity by Petri nets and integer linear programming

Cong, XY, Fanti, MP,     More...

Cong, XY, Fanti, MP, Mangini, AM, Li, ZW     Less

AUTOMATICA[0005-1098], Published 2018, Volume 94, Pages 205-213

收錄情况： WOS SCOPUS

WOS核心合集引用: 62  2023影響因子:  4.8  发表年影響因子:  6.355 

13.Model-based fault identification of discrete event systems using partially observed Petri nets

Zhu, GH, Li, ZW, Wu,     More...

Zhu, GH, Li, ZW, Wu, NQ     Less

AUTOMATICA[0005-1098], Published 2018, Volume 96, Pages 201-212

收錄情况： WOS SCOPUS

WOS核心合集引用: 76  2023影響因子:  4.8  发表年影響因子:  6.355 

14.Influence minimization in linear threshold networks

Yang, Lan, Li, Zhiwu     More...

Yang, Lan, Li, Zhiwu, Giua, Alessandro     Less

Automatica[0005-1098], Published 2019, Volume 100, Pages 10-16

收錄情况： WOS SCOPUS

WOS核心合集引用: 18  2023影響因子:  4.8  发表年影響因子:  5.541 

15.On scalable supervisory control of multi-agent discrete-event systems

Liu, YY, Cai, K, Li,     More...

Liu, YY, Cai, K, Li, ZW     Less

AUTOMATICA[0005-1098], Published 2019, Volume 108,

收錄情况： WOS SCOPUS

WOS核心合集引用: 33  2023影響因子:  4.8  发表年影響因子:  5.541 

16.Current-state opacity modelling and verification in partially observed Petri nets

Saadaoui, I, Li, ZW,     More...

Saadaoui, I, Li, ZW, Wu, NQ     Less

AUTOMATICA[0005-1098], Published 2020, Volume 116,

收錄情况： WOS SCOPUS

WOS核心合集引用: 22  2023影響因子:  4.8  发表年影響因子:  5.944 

17.Initial-state detectability and initial-state opacity of unambiguous weighted automata

Lai, AW, Lahaye, S,     More...

Lai, AW, Lahaye, S, Li, ZW     Less

AUTOMATICA[0005-1098], Published 2021, Volume 127,

收錄情况： WOS SCOPUS

WOS核心合集引用: 9  2023影響因子:  4.8  发表年影響因子:  6.150 

18.Marking diagnosability verification in labeled Petri nets

Ma, ZY, Yin, X, Li,     More...

Ma, ZY, Yin, X, Li, ZW     Less

Automatica[0005-1098], Published 2021, Volume 131,

收錄情况： WOS SCOPUS

WOS核心合集引用: 15  2023影響因子:  4.8  发表年影響因子:  6.150 

19.Diagnosability enforcement in labeled Petri nets using supervisory control

Hu, YH, Ma, ZY, Li,     More...

Hu, YH, Ma, ZY, Li, ZW, Giua, A     Less

AUTOMATICA[0005-1098], Published 2021, Volume 131,

收錄情况： WOS

WOS核心合集引用: 20  2023影響因子:  4.8  发表年影響因子:  6.150 

20.Verification and enforcement of strong infinite- and k-step opacity using state recognizers

Ma, ZY, Yin, X, Li,     More...

Ma, ZY, Yin, X, Li, ZW     Less

AUTOMATICA[0005-1098], Published 2021, Volume 133,

收錄情况： WOS SCOPUS

WOS核心合集引用: 31  2023影響因子:  4.8  发表年影響因子:  6.150