skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: assunto: Analytical Models remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
A Verification Framework for Time-Triggered Networks Based on Timed Colored Petri Net
A Verification Framework for Time-Triggered Networks Based on Timed Colored Petri Net
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Verification Framework for Time-Triggered Networks Based on Timed Colored Petri Net

Zhong, Wenjie ; Zhou, Jian-tao ; Sun, Tao ; Song, Xiaoyu ; Li, Zonghui

IEEE transactions on computer-aided design of integrated circuits and systems, 2024-07, Vol.43 (7), p.2112-2125 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
2
A Compositional Approach for Complex Event Pattern Modeling and Transformation to Colored Petri Nets with Black Sequencing Transitions
A Compositional Approach for Complex Event Pattern Modeling and Transformation to Colored Petri Nets with Black Sequencing Transitions
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Compositional Approach for Complex Event Pattern Modeling and Transformation to Colored Petri Nets with Black Sequencing Transitions

Valero, Valentin ; Diaz, Gregorio ; Boubeta-Puig, Juan ; Macia, Hermenegilda ; Brazalez, Enrique

IEEE transactions on software engineering, 2022-07, Vol.48 (7), p.2584-2605 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
3
Immediate Transitions in Timed Continuous Petri Nets: Performance Evaluation and Control
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

Citações Citado por
4
Net Learning
Net Learning
Material Type:
Artigo 		Adicionar ao Meu Espaço

Net Learning

Wang, Junli ; Qi, Hongda ; Guang, Mingjian ; Zhang, Chaobo ; Yan, Chungang ; Jiang, Changjun

IEEE transaction on neural networks and learning systems, 2022-12, Vol.33 (12), p.7380-7389

IEEE

Texto completo disponível

Citações Citado por
5
Formal Analysis of Smart Contract Based on Colored Petri Nets
Formal Analysis of Smart Contract Based on Colored Petri Nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal Analysis of Smart Contract Based on Colored Petri Nets

Duo, Wang ; Xin, Huang ; Xiaofeng, Ma

IEEE intelligent systems, 2020-05, Vol.35 (3), p.19-30 [Periódico revisado por pares]

IEEE

Texto completo disponível

Citações Citado por
6
Design of Variable Traffic Light Control Systems for Preventing Two-Way Grid Network Traffic Jams Using Timed Petri Nets
Design of Variable Traffic Light Control Systems for Preventing Two-Way Grid Network Traffic Jams Using Timed Petri Nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Design of Variable Traffic Light Control Systems for Preventing Two-Way Grid Network Traffic Jams Using Timed Petri Nets

Luo, Jiliang ; Huang, Yi-Sheng ; Weng, Yi-Shun

IEEE transactions on intelligent transportation systems, 2020-07, Vol.21 (7), p.3117-3127 [Periódico revisado por pares]

IEEE

Texto completo disponível

Citações Citado por
7
Qualitative and Quantitative Safety Evaluation of Train Control Systems (CTCS) With Stochastic Colored Petri Nets
Qualitative and Quantitative Safety Evaluation of Train Control Systems (CTCS) With Stochastic Colored Petri Nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Qualitative and Quantitative Safety Evaluation of Train Control Systems (CTCS) With Stochastic Colored Petri Nets

Wu, Daohua ; Lu, Debiao ; Tang, Tao

IEEE transactions on intelligent transportation systems, 2022-08, Vol.23 (8), p.10223-10238 [Periódico revisado por pares]

IEEE

Texto completo disponível

Citações Citado por
8
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems

Paolieri, Marco ; Biagi, Marco ; Carnevali, Laura ; Vicario, Enrico

IEEE transactions on software engineering, 2021-06, Vol.47 (6), p.1211-1225 [Periódico revisado por pares]

New York: IEEE

Texto completo disponível

Citações Citado por
9
Prioritized Time-Point-Interval Petri Nets Modeling Multiprocessor Real-Time Systems and TCTL
Prioritized Time-Point-Interval Petri Nets Modeling Multiprocessor Real-Time Systems and TCTL
Material Type:
Artigo 		Adicionar ao Meu Espaço

Prioritized Time-Point-Interval Petri Nets Modeling Multiprocessor Real-Time Systems and TCTL

He, Leifeng ; Liu, Guanjun

IEEE transactions on industrial informatics, 2023-08, Vol.19 (8), p.8784-8794

Piscataway: IEEE

Texto completo disponível

Citações Citado por
10
Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs
Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Marking Estimation in Petri Nets Using Hierarchical Basis Reachability Graphs

Ma, Ziyue ; Zhu, Guanghui ; Li, Zhiwu

IEEE transactions on automatic control, 2021-02, Vol.66 (2), p.810-817 [Periódico revisado por pares]

New York: IEEE

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 (203)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (685)
  2. Artigos  (268)
  3. magazinearticle  (1)
  4. Book Chapters  (1)
  5. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1989  (13)
  2. 1989Até1996  (99)
  3. 1997Até2004  (119)
  4. 2005Até2013  (480)
  5. Após 2013  (251)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.