GU, CHAO

GU, CHAO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA ED ELETTRONICA  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.009 secondi).
Titolo Data di pubblicazione Autore(i) Rivista Editore
Behavioral Property Analysis and Supervisory Control of Petri Nets Using Semi-Structural Approaches 26-mag-2022 - - Università degli Studi di Cagliari
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs 1-gen-2022 Gu, C.; Ma, Z.; Li, Z.; Giua, A. IEEE CONTROL SYSTEMS LETTERS -
Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs 1-gen-2022 Gu, C; Ma, Zy; Li, Zw; Giua, A IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS. SYSTEMS -
Analysis of Behavioural Properties of Bounded Petri Nets with a Semi-Structural Approach 1-gen-2020 Gu, C.; Li, Z.; Giua, A. - Institute of Electrical and Electronics Engineers Inc.
Verification of Nonblockingness in Bounded Petri Nets with a Semi-Structural Approach 1-gen-2019 Gu, C.; Ma, Z.; Li, Z.; Giua, A. - Institute of Electrical and Electronics Engineers Inc.