skip to main content
Idioma:
Você quis dizer: petri nets?
Refinado por: nível superior: Recursos Online remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lectures
Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lectures
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal methods for the design of real-time systems International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy September 13-18, 2004 : revised lectures

International School on Formal Methods for the Design of Computer Communication, and Software Systems (4th 2004 Bertinoro, Italy) Marco Bernardo; Flavio Corradini

Berlin Springer New York c2004

Acesso online. A biblioteca também possui exemplares impressos.

2
Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings
Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Formal techniques, modelling and analysis of timed and fault-tolerant systems joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24 2004 : proceedings

FORMATS 2004 (2004 Grenoble, France) Y Lakhnech (Yassine); Sergio Yovine; FTRTFT 2004 (2004 Grenoble, France)

Berlin Springer New York c2004

Acesso online. A biblioteca também possui exemplares impressos.

3
A novel layered fuzzy Petri nets modelling and reasoning method for process equipment failure risk assessment
A novel layered fuzzy Petri nets modelling and reasoning method for process equipment failure risk assessment
Material Type:
Artigo 		Adicionar ao Meu Espaço

A novel layered fuzzy Petri nets modelling and reasoning method for process equipment failure risk assessment

Li, Weijun ; He, Min ; Sun, Yibo ; Cao, Qinggui

Journal of loss prevention in the process industries, 2019-11, Vol.62, p.103953, Article 103953 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

Citações Citado por
4
Comprehensive risk assessment of deepwater drilling riser using fuzzy Petri net model
Comprehensive risk assessment of deepwater drilling riser using fuzzy Petri net model
Material Type:
Artigo 		Adicionar ao Meu Espaço

Comprehensive risk assessment of deepwater drilling riser using fuzzy Petri net model

Chang, Yuanjiang ; Wu, Xiangfei ; Chen, Guoming ; Ye, Jihua ; Chen, Bin ; Xu, Liangbin ; Zhou, Jianliang ; Yin, Zhiming ; Ren, Keren

Process safety and environmental protection, 2018-07, Vol.117, p.483-497 [Periódico revisado por pares]

Rugby: Elsevier B.V

Texto completo disponível

Citações Citado por
5
Modeling and Simulation of Top-level Design Based on MBSE
Modeling and Simulation of Top-level Design Based on MBSE
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modeling and Simulation of Top-level Design Based on MBSE

Dandan, Wang ; Hao, Liang ; JianWen, Cui

Journal of physics. Conference series, 2020-04, Vol.1486 (7), p.72061 [Periódico revisado por pares]

Bristol: IOP Publishing

Texto completo disponível

Citações Citado por
6
Fuzzy Petri nets for knowledge representation and reasoning: A literature review
Fuzzy Petri nets for knowledge representation and reasoning: A literature review
Material Type:
Artigo 		Adicionar ao Meu Espaço

Fuzzy Petri nets for knowledge representation and reasoning: A literature review

Liu, Hu-Chen ; You, Jian-Xin ; Li, ZhiWu ; Tian, Guangdong

Engineering applications of artificial intelligence, 2017-04, Vol.60, p.45-56 [Periódico revisado por pares]

Elsevier Ltd

Texto completo disponível

Citações Citado por
7
Process mining using BPMN: relating event logs and process models
Process mining using BPMN: relating event logs and process models
Material Type:
Artigo 		Adicionar ao Meu Espaço

Process mining using BPMN: relating event logs and process models

Kalenkova, Anna A. ; van der Aalst, Wil M. P. ; Lomazova, Irina A. ; Rubin, Vladimir A.

Software and systems modeling, 2017-10, Vol.16 (4), p.1019-1048 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
8
Designing a smart risk analysis method for gas chlorination units of water treatment plants with combination of Failure Mode Effects Analysis, Shannon Entropy, and Petri Net Modeling
Designing a smart risk analysis method for gas chlorination units of water treatment plants with combination of Failure Mode Effects Analysis, Shannon Entropy, and Petri Net Modeling
Material Type:
Artigo 		Adicionar ao Meu Espaço

Designing a smart risk analysis method for gas chlorination units of water treatment plants with combination of Failure Mode Effects Analysis, Shannon Entropy, and Petri Net Modeling

Gheibi, Mohammad ; Karrabi, Mohsen ; Eftekhari, Mohammad

Ecotoxicology and environmental safety, 2019-04, Vol.171, p.600-608 [Periódico revisado por pares]

Netherlands: Elsevier Inc

Texto completo disponível

Citações Citado por
9
A Petri net-based particle swarm optimization approach for scheduling deadlock-prone flexible manufacturing systems
A Petri net-based particle swarm optimization approach for scheduling deadlock-prone flexible manufacturing systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Petri net-based particle swarm optimization approach for scheduling deadlock-prone flexible manufacturing systems

Han, Libin ; Xing, Keyi ; Chen, Xiao ; Xiong, Fuli

Journal of intelligent manufacturing, 2018-06, Vol.29 (5), p.1083-1096 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

Citações Citado por
10
On rescheduling in holonic manufacturing systems
On rescheduling in holonic manufacturing systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

On rescheduling in holonic manufacturing systems

Pascal, Carlos ; Panescu, Doru

Computers in industry, 2019-01, Vol.104, p.34-46 [Periódico revisado por pares]

Elsevier B.V

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (385)
  2. Anais de Congresso  (87)
  3. Livros  (75)
  4. Book Chapters  (29)
  5. Dissertações  (2)
  6. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1991  (32)
  2. 1991Até1998  (77)
  3. 1999Até2006  (80)
  4. 2007Até2015  (96)
  5. Após 2015  (324)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (570)
  2. Japonês  (17)
  3. Alemão  (10)
  4. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. FORMATS 2004
  2. Bernardo, M
  3. Lakhnech, Y
  4. Yovine, S
  5. FTRTFT 2004

Neste Assunto:

  1. Petri-Netz
  2. Science & Technology
  3. Technology
  4. Petri Nets
  5. Computer Science

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.