Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Password generation using array generating interval timed colored Petri net (AGITCPN) for effective securityMetilda, M.I. Mary ; Lalitha, D. ; Vaithyasubramanian, S.Theoretical computer science, 2022-09, Vol.929, p.114-123 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
2 |
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 |
|
3 |
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 |
|
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
|
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 |
|
6 |
Material Type: Artigo
|
Deadlock recovery for flexible manufacturing systems modeled with Petri netsChen, YuFeng ; Li, ZhiWu ; Al-Ahmari, Abdulrahman ; Wu, NaiQi ; Qu, TingInformation sciences, 2017-03, Vol.381, p.290-303 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
7 |
Material Type: Artigo
|
Reinforcement learning for robotic flow shop scheduling with processing time variationsLee, Jun-Ho ; Kim, Hyun-JungInternational journal of production research, 2022-04, Vol.60 (7), p.2346-2368 [Periódico revisado por pares]London: Taylor & FrancisTexto completo disponível |
|
8 |
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 |
|
9 |
Material Type: Artigo
|
An integrated assessment of safety and efficiency of aircraft maintenance strategies using agent-based modelling and stochastic Petri netsLee, Juseong ; Mitici, MihaelaReliability engineering & system safety, 2020-10, Vol.202, p.107052, Article 107052 [Periódico revisado por pares]Barking: Elsevier LtdTexto completo disponível |
|
10 |
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 |