skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: IngentaConnect Journals remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Two-staged approach for estimation of sequences in partially observable P-time Petri nets on a sliding horizon with schedulability analysis
Two-staged approach for estimation of sequences in partially observable P-time Petri nets on a sliding horizon with schedulability analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Two-staged approach for estimation of sequences in partially observable P-time Petri nets on a sliding horizon with schedulability analysis

Declerck, P. ; Bonhomme, P.

International journal of control, 2023-05, Vol.97 (6), p.1341-1350 [Periódico revisado por pares]

Abingdon: Taylor & Francis

Texto completo disponível

Citações Citado por
2
Modeling Analysis of SM2 Construction Attacks in the Open Secure Sockets Layer Based on Petri Net
Modeling Analysis of SM2 Construction Attacks in the Open Secure Sockets Layer Based on Petri Net
Material Type:
Artigo 		Adicionar ao Meu Espaço

Modeling Analysis of SM2 Construction Attacks in the Open Secure Sockets Layer Based on Petri Net

Deng, Xi ; Zhang, Liumei ; Wang, Yichuan ; Jiang, Fanzhi

Sensors (Basel, Switzerland), 2022-02, Vol.22 (4), p.1398 [Periódico revisado por pares]

Switzerland: MDPI AG

Texto completo disponível

Citações Citado por
3
A Stochastic Petri Net-Based Model of the Involvement of Interleukin 18 in Atherosclerosis
A Stochastic Petri Net-Based Model of the Involvement of Interleukin 18 in Atherosclerosis
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Stochastic Petri Net-Based Model of the Involvement of Interleukin 18 in Atherosclerosis

Formanowicz, Dorota ; Rybarczyk, Agnieszka ; Radom, Marcin ; Tanaś, Krzysztof ; Formanowicz, Piotr

International journal of molecular sciences, 2020-11, Vol.21 (22), p.8574 [Periódico revisado por pares]

Switzerland: MDPI AG

Texto completo disponível

Citações Citado por
4
Robust scheduling of flexible manufacturing systems with unreliable operations and resources
Robust scheduling of flexible manufacturing systems with unreliable operations and resources
Material Type:
Artigo 		Adicionar ao Meu Espaço

Robust scheduling of flexible manufacturing systems with unreliable operations and resources

Mejía, Gonzalo ; Lefebvre, Dimitri

International journal of production research, 2020-11, Vol.58 (21), p.6474-6492 [Periódico revisado por pares]

London: Taylor & Francis

Texto completo disponível

Citações Citado por
5
A coloured Petri net-based hybrid heuristic search approach to simultaneous scheduling of machines and automated guided vehicles
A coloured Petri net-based hybrid heuristic search approach to simultaneous scheduling of machines and automated guided vehicles
Material Type:
Artigo 		Adicionar ao Meu Espaço

A coloured Petri net-based hybrid heuristic search approach to simultaneous scheduling of machines and automated guided vehicles

Baruwa, Olatunde T. ; Piera, Miquel A.

International journal of production research, 2016-08, Vol.54 (16), p.4773-4792 [Periódico revisado por pares]

London: Taylor & Francis

Texto completo disponível

Citações Citado por
6
Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking
Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking
Material Type:
Artigo 		Adicionar ao Meu Espaço

Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking

Gilbert, David ; Heiner, Monika ; Ghanbar, Leila ; Chodak, Jacek

BMC bioinformatics, 2019-04, Vol.20 (Suppl 4), p.173-173, Article 173 [Periódico revisado por pares]

England: BioMed Central Ltd

Texto completo disponível

Citações Citado por
7
Spatial specification of hypertorus interconnect by infinite and reenterable coloured Petri nets
Spatial specification of hypertorus interconnect by infinite and reenterable coloured Petri nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Spatial specification of hypertorus interconnect by infinite and reenterable coloured Petri nets

Zaitsev, Dmitry A. ; Shmeleva, Tatiana R. ; Pröll, Birgit

International journal of parallel, emergent and distributed systems, 2022-01, Vol.37 (1), p.1-21 [Periódico revisado por pares]

Abingdon: Taylor & Francis

Texto completo disponível

Citações Citado por
8
An Anonymous Authentication and Key Update Mechanism for IoT Devices Based on EnOcean Protocol
An Anonymous Authentication and Key Update Mechanism for IoT Devices Based on EnOcean Protocol
Material Type:
Artigo 		Adicionar ao Meu Espaço

An Anonymous Authentication and Key Update Mechanism for IoT Devices Based on EnOcean Protocol

Wu, Yi ; Feng, Tao

Sensors (Basel, Switzerland), 2022-09, Vol.22 (17), p.6713 [Periódico revisado por pares]

Basel: MDPI AG

Texto completo disponível

Citações Citado por
9
Design of Petri Net-Based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays
Design of Petri Net-Based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays
Material Type:
Artigo 		Adicionar ao Meu Espaço

Design of Petri Net-Based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays

Wisniewski, Remigiusz

Energies (Basel), 2021-11, Vol.14 (21), p.7054 [Periódico revisado por pares]

Basel: MDPI AG

Texto completo disponível

Citações Citado por
10
Hybrid modelling of biological systems using fuzzy continuous Petri nets
Hybrid modelling of biological systems using fuzzy continuous Petri nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Hybrid modelling of biological systems using fuzzy continuous Petri nets

Liu, Fei ; Sun, Wujie ; Heiner, Monika ; Gilbert, David

Briefings in bioinformatics, 2021-01, Vol.22 (1), p.438-450 [Periódico revisado por pares]

England: Oxford University Press

Texto completo disponível

Citações Citado por
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 (902)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (910)
  2. Anais de Congresso  (25)
  3. Book Chapters  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1991  (14)
  2. 1991Até1998  (45)
  3. 1999Até2006  (87)
  4. 2007Até2015  (400)
  5. Após 2015  (395)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (919)
  2. Português  (26)
  3. Japonês  (20)
  4. Espanhol  (9)
  5. Russo  (3)
  6. Francês  (2)
  7. Chinês  (2)
  8. Indonésio  (1)
  9. Persa  (1)
  10. Eslovaco  (1)
  11. Tcheco  (1)
  12. Lituano  (1)
  13. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.