Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis MarkingsCong, Xuya ; Fanti, Maria Pia ; Mangini, Agostino Marcello ; Li, ZhiwuIEEE transactions on automatic control, 2023-12, Vol.68 (12), p.1-8 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
2 |
Material Type: Artigo
|
Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net SystemsLi, Liang ; Basile, Francesco ; Li, ZhiwuIEEE transactions on automatic control, 2021-11, Vol.66 (11), p.5326-5341 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
3 |
Material Type: Artigo
|
Superheat Degree Recognition of Aluminum Electrolysis Cell Using Unbalance Double Hierarchy Hesitant Linguistic Petri NetsYue, Weichao ; Hou, Lingfeng ; Wan, Xiaoxue ; Chen, Xiaofang ; Gui, WeihuaIEEE transactions on instrumentation and measurement, 2023-01, Vol.72, p.1-1 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
4 |
Material Type: Artigo
|
Optimal One-Wafer Cyclic Scheduling and Buffer Space Configuration for Single-Arm Multicluster Tools With Linear TopologyBai, Liping ; Wu, Naiqi ; Li, Zhiwu ; Zhou, MengChuIEEE transactions on systems, man, and cybernetics. Systems, 2016-10, Vol.46 (10), p.1456-1467 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
5 |
Material Type: Artigo
|
An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net SystemsLi, Liang ; Basile, Francesco ; Li, ZhiwuIEEE transactions on automatic control, 2020-01, Vol.65 (1), p.237-251 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
6 |
Material Type: Artigo
|
Codiagnosability Analysis of Bounded Petri NetsRan, Ning ; Su, Hongye ; Giua, Alessandro ; Seatzu, CarlaIEEE transactions on automatic control, 2018-04, Vol.63 (4), p.1192-1199 [Periódico revisado por pares]IEEETexto completo disponível |
|
7 |
Material Type: Artigo
|
Interval-Valued Intuitionistic Uncertain Linguistic Cloud Petri Net and Its Application to Risk Assessment for Subway Fire AccidentZhang, Cheng ; Tian, Guangdong ; Fathollahi-Fard, Amir Mohammad ; Wang, Wenjie ; Wu, Peng ; Li, ZhiwuIEEE transactions on automation science and engineering, 2022-01, Vol.19 (1), p.163-177IEEETexto completo disponível |
|
8 |
Material Type: Artigo
|
Supervisory Control of Petri Nets in the Presence of Replacement AttacksYou, Dan ; Wang, ShouGuang ; Zhou, MengChu ; Seatzu, CarlaIEEE transactions on automatic control, 2022-03, Vol.67 (3), p.1466-1473 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
9 |
Material Type: Artigo
|
Fault Section Identification in Smart Distribution Systems Using Multi-Source Data Based on Fuzzy Petri NetsKiaei, Iman ; Lotfifard, SaeedIEEE transactions on smart grid, 2020-01, Vol.11 (1), p.74-83 [Periódico revisado por pares]Piscataway: IEEETexto completo disponível |
|
10 |
Material Type: Artigo
|
Immediate Transitions in Timed Continuous Petri Nets: Performance Evaluation and ControlVazquez, Carlos Renato ; Aguayo-Lara, EnriqueIEEE transactions on systems, man, and cybernetics. Systems, 2023-06, Vol.53 (6), p.1-12 [Periódico revisado por pares]IEEETexto completo disponível |