Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
|
2 |
Material Type: Artigo
|
Reliability and Performance Evaluation of Safety-Critical Instrumentation and Control Systems of Nuclear Power PlantJyotish, Nand Kumar ; Singh, Lalit Kumar ; Kumar, Chiranjeev ; Singh, PoojaIEEE transactions on reliability, 2024-03, Vol.73 (1), p.1-16 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
3 |
Material Type: Artigo
|
Linguistic Petri Nets Based on Cloud Model Theory for Knowledge Representation and ReasoningLiu, Hu-Chen ; Luan, Xue ; Li, ZhiWu ; Wu, JianingIEEE transactions on knowledge and data engineering, 2018-04, Vol.30 (4), p.717-728 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
4 |
Material Type: Artigo
|
A novel method for deadlock prevention of AMS by using resource-oriented Petri netsChen, Hefeng ; Wu, NaiQi ; Zhou, MengChuInformation sciences, 2016-10, Vol.363, p.178-189 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
5 |
Material Type: Artigo
|
From Local to Global Consistency in Distributed Monitoring of Petri Net ModelsJiroveanu, George ; Boel, Rene K.IEEE transactions on automatic control, 2023-01, Vol.68 (1), p.494-501 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
6 |
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.3750-3761 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
7 |
Material Type: Artigo
|
Validation of Industrial Automation Systems Using a Timed Model of System RequirementsBasile, Francesco ; Ferrara, LuigiIEEE transactions on control systems technology, 2023-01, Vol.31 (1), p.130-143 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
8 |
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, Vol.72, p.1-15 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
9 |
Material Type: Artigo
|
Robust deadlock control for automated manufacturing systems with an unreliable resourceWu, Yunchao ; Xing, Keyi ; Luo, Jianchao ; Feng, YanxiangInformation sciences, 2016-06, Vol.346-347, p.17-28 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
10 |
Material Type: Artigo
|
Colored Petri nets-based control and experimental validation on three-tank system level controlBrezovan, Marius ; Precup, Radu-Emil ; Selişteanu, Dan ; Stănescu, LianaInternational journal of general systems, 2023-01, Vol.52 (1), p.1-47 [Periódico revisado por pares]Abingdon: Taylor & FrancisTexto completo disponível |