skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Mathematical Models remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Deadlock recovery for flexible manufacturing systems modeled with Petri nets
Material Type:
Artigo
Adicionar ao Meu Espaço

Deadlock recovery for flexible manufacturing systems modeled with Petri nets

Chen, YuFeng ; Li, ZhiWu ; Al-Ahmari, Abdulrahman ; Wu, NaiQi ; Qu, Ting

Information sciences, 2017-03, Vol.381, p.290-303 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

2
Reliability and Performance Evaluation of Safety-Critical Instrumentation and Control Systems of Nuclear Power Plant
Material Type:
Artigo
Adicionar ao Meu Espaço

Reliability and Performance Evaluation of Safety-Critical Instrumentation and Control Systems of Nuclear Power Plant

Jyotish, Nand Kumar ; Singh, Lalit Kumar ; Kumar, Chiranjeev ; Singh, Pooja

IEEE transactions on reliability, 2024-03, Vol.73 (1), p.1-16 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

3
Linguistic Petri Nets Based on Cloud Model Theory for Knowledge Representation and Reasoning
Material Type:
Artigo
Adicionar ao Meu Espaço

Linguistic Petri Nets Based on Cloud Model Theory for Knowledge Representation and Reasoning

Liu, Hu-Chen ; Luan, Xue ; Li, ZhiWu ; Wu, Jianing

IEEE transactions on knowledge and data engineering, 2018-04, Vol.30 (4), p.717-728 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

4
A novel method for deadlock prevention of AMS by using resource-oriented Petri nets
Material Type:
Artigo
Adicionar ao Meu Espaço

A novel method for deadlock prevention of AMS by using resource-oriented Petri nets

Chen, Hefeng ; Wu, NaiQi ; Zhou, MengChu

Information sciences, 2016-10, Vol.363, p.178-189 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

5
From Local to Global Consistency in Distributed Monitoring of Petri Net Models
Material Type:
Artigo
Adicionar ao Meu Espaço

From Local to Global Consistency in Distributed Monitoring of Petri Net Models

Jiroveanu, George ; Boel, Rene K.

IEEE transactions on automatic control, 2023-01, Vol.68 (1), p.494-501 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

6
Immediate Transitions in Timed Continuous Petri Nets: Performance Evaluation and Control
Material Type:
Artigo
Adicionar ao Meu Espaço

Immediate Transitions in Timed Continuous Petri Nets: Performance Evaluation and Control

Vazquez, Carlos Renato ; Aguayo-Lara, Enrique

IEEE transactions on systems, man, and cybernetics. Systems, 2023-06, Vol.53 (6), p.3750-3761 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

7
Validation of Industrial Automation Systems Using a Timed Model of System Requirements
Material Type:
Artigo
Adicionar ao Meu Espaço

Validation of Industrial Automation Systems Using a Timed Model of System Requirements

Basile, Francesco ; Ferrara, Luigi

IEEE transactions on control systems technology, 2023-01, Vol.31 (1), p.130-143 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

8
Superheat Degree Recognition of Aluminum Electrolysis Cell Using Unbalance Double Hierarchy Hesitant Linguistic Petri Nets
Material Type:
Artigo
Adicionar ao Meu Espaço

Superheat Degree Recognition of Aluminum Electrolysis Cell Using Unbalance Double Hierarchy Hesitant Linguistic Petri Nets

Yue, Weichao ; Hou, Lingfeng ; Wan, Xiaoxue ; Chen, Xiaofang ; Gui, Weihua

IEEE transactions on instrumentation and measurement, 2023, Vol.72, p.1-15 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

9
Robust deadlock control for automated manufacturing systems with an unreliable resource
Material Type:
Artigo
Adicionar ao Meu Espaço

Robust deadlock control for automated manufacturing systems with an unreliable resource

Wu, Yunchao ; Xing, Keyi ; Luo, Jianchao ; Feng, Yanxiang

Information sciences, 2016-06, Vol.346-347, p.17-28 [Periódico revisado por pares]

Elsevier Inc

Texto completo disponível

10
Colored Petri nets-based control and experimental validation on three-tank system level control
Material Type:
Artigo
Adicionar ao Meu Espaço

Colored Petri nets-based control and experimental validation on three-tank system level control

Brezovan, Marius ; Precup, Radu-Emil ; Selişteanu, Dan ; Stănescu, Liana

International journal of general systems, 2023-01, Vol.52 (1), p.1-47 [Periódico revisado por pares]

Abingdon: Taylor & Francis

Texto completo disponível

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (810)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (935)
  2. Anais de Congresso  (33)
  3. Reports  (31)
  4. Livros  (9)
  5. magazinearticle  (3)
  6. Newsletter Articles  (1)
  7. Dissertações  (1)
  8. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1985  (14)
  2. 1985Até1994  (45)
  3. 1995Até2004  (144)
  4. 2005Até2015  (559)
  5. Após 2015  (257)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.010)
  2. Japonês  (51)
  3. Chinês  (2)
  4. Português  (1)
  5. Persa  (1)
  6. Alemão  (1)
  7. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.