skip to main content
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: Base de dados/Biblioteca: Computers & Applied Sciences Complete remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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

2
Scheduling of Resource Allocation Systems with Timed Petri Nets: A Survey
Material Type:
Artigo
Adicionar ao Meu Espaço

Scheduling of Resource Allocation Systems with Timed Petri Nets: A Survey

Huang, Bo ; Zhou, Mengchu ; Lu, Xiaoyu Sean ; Abusorrah, Abdullah

ACM computing surveys, 2023-11, Vol.55 (11), p.1-27, Article 230 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

3
Array generating fuzzy petri nets and rectangular picture languages
Material Type:
Artigo
Adicionar ao Meu Espaço

Array generating fuzzy petri nets and rectangular picture languages

Kaspar, A. John ; Christy, D.K. Sheena ; Gloria, D.K. Shirley

Journal of intelligent & fuzzy systems, 2023-01, Vol.45 (2), p.3433-3443 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível

4
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

5
Maximal and Minimal Dynamic Petri Net Slicing
Material Type:
Artigo
Adicionar ao Meu Espaço

Maximal and Minimal Dynamic Petri Net Slicing

Llorens, M. ; Oliver, J. ; Silva, J. ; Tamarit, S.

Fundamenta informaticae, 2023-06, Vol.188 (4), p.239-267 [Periódico revisado por pares]

Texto completo disponível

6
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
Material Type:
Artigo
Adicionar ao Meu Espaço

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

Jensen, Kurt ; Kristensen, Lars Michael ; Wells, Lisa

International journal on software tools for technology transfer, 2007-06, Vol.9 (3-4), p.213-254 [Periódico revisado por pares]

Heidelberg: Springer Nature B.V

Texto completo disponível

7
A Pareto-based genetic algorithm for multi-objective scheduling of automated manufacturing systems
Material Type:
Artigo
Adicionar ao Meu Espaço

A Pareto-based genetic algorithm for multi-objective scheduling of automated manufacturing systems

Zan, Xin ; Wu, Zepeng ; Guo, Cheng ; Yu, Zhenhua

Advances in mechanical engineering, 2020-01, Vol.12 (1), p.168781401988529 [Periódico revisado por pares]

London, England: SAGE Publications

Texto completo disponível

8
Modeling, reasoning, and application of fuzzy Petri net model: a survey
Material Type:
Artigo
Adicionar ao Meu Espaço

Modeling, reasoning, and application of fuzzy Petri net model: a survey

Jiang, Wei ; Zhou, Kai-Qing ; Sarkheyli-Hägele, Arezoo ; Zain, Azlan Mohd

The Artificial intelligence review, 2022-12, Vol.55 (8), p.6567-6605 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

9
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

10
A novel fluid-based modeling approach using extended Hybrid Petri nets for power consumption monitoring in wireless autonomous IoT devices, with energy harvesting capability and triple sleeping strategy
Material Type:
Artigo
Adicionar ao Meu Espaço

A novel fluid-based modeling approach using extended Hybrid Petri nets for power consumption monitoring in wireless autonomous IoT devices, with energy harvesting capability and triple sleeping strategy

Oukas, Nourredine ; Boulif, Menouar ; Arab, Karima

Wireless networks, 2024-04, Vol.30 (3), p.1869-1892 [Periódico revisado por pares]

New York: Springer US

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

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
  1. Antes de1985  (19)
  2. 1985Até1993  (87)
  3. 1994Até2002  (124)
  4. 2003Até2012  (306)
  5. Após 2012  (511)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (1.043)
  2. Japonês  (22)
  3. Coreano  (2)
  4. Croatian  (1)
  5. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.