GU, CHAO
GU, CHAO
DIPARTIMENTO DI INGEGNERIA ELETTRICA ED ELETTRONICA
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.014 secondi).
Behavioral Property Analysis and Supervisory Control of Petri Nets Using Semi-Structural Approaches
2022-05-26
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs
2022-01-01 Gu, C.; Ma, Z.; Li, Z.; Giua, A.
Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs
2022-01-01 Gu, C; Ma, Zy; Li, Zw; Giua, A
Analysis of Behavioural Properties of Bounded Petri Nets with a Semi-Structural Approach
2020-01-01 Gu, C.; Li, Z.; Giua, A.
Verification of Nonblockingness in Bounded Petri Nets with a Semi-Structural Approach
2019-01-01 Gu, C.; Ma, Z.; Li, Z.; Giua, A.
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. |