skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Interpreted Petri Nets in DES Control Synthesis
Interpreted Petri Nets in DES Control Synthesis
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Interpreted Petri Nets in DES Control Synthesis

Čapkovič, František

Intelligent Information and Database Systems, p.377-387 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
Modelling a Robotic Cell and Analysis Its Throughput by Petri Nets
Modelling a Robotic Cell and Analysis Its Throughput by Petri Nets
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Modelling a Robotic Cell and Analysis Its Throughput by Petri Nets

Čapkovič, František

Intelligent Information and Database Systems, p.263-272 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
Air Navigation: The Method of Airborne Vehicles Classification Based on Fuzzy Colored Petri Nets
Air Navigation: The Method of Airborne Vehicles Classification Based on Fuzzy Colored Petri Nets
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Air Navigation: The Method of Airborne Vehicles Classification Based on Fuzzy Colored Petri Nets

Igor Grishin ; Rena Timirgaleeva ; Ivan Linnik ; Elena Linnik ; Aleksander Tamargazin

Proceedings of the XXth Conference of Open Innovations Association FRUCT, 2021, Vol.29 (1), p.240-246 [Periódico revisado por pares]

FRUCT

Texto completo disponível

Citações Citado por
4
A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models
A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A Tool for the Automatic Derivation of Symbolic ODE from Symmetric Net Models

Beccuti, Marco ; Capra, Lorenzo ; De Pierro, Massimiliano ; Franceschinis, Giuliana ; Follia, Laura ; Pernice, Simone

2019 IEEE 27th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), 2019, p.36-48

IEEE

Texto completo disponível

Citações Citado por
5
TiPeNeSS: A Timed Petri Net Simulator Software with Generally Distributed Firing Delays
TiPeNeSS: A Timed Petri Net Simulator Software with Generally Distributed Firing Delays
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

TiPeNeSS: A Timed Petri Net Simulator Software with Generally Distributed Firing Delays

Horváth, Ádám ; Molnár, András

EAI endorsed transactions on industrial networks and intelligent systems, 2016, Vol.3 (8) [Periódico revisado por pares]

Ghent: European Alliance for Innovation (EAI)

Texto completo disponível

Citações Citado por
6
Optimal-Cost Reachability Analysis Based on Time Petri Nets
Optimal-Cost Reachability Analysis Based on Time Petri Nets
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Optimal-Cost Reachability Analysis Based on Time Petri Nets

Boucheneb, Hanifa ; Lime, Didier ; Roux, Olivier H. ; Seidner, Charlotte

2018 18th International Conference on Application of Concurrency to System Design (ACSD), 2018, p.30-39

IEEE

Texto completo disponível

Citações Citado por
7
Workflow mining: Current status and future directions
Workflow mining: Current status and future directions
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Workflow mining: Current status and future directions

DE MEDEIROS, A. K. A ; VAN DER AALST, W. M. P ; WEIJTERS, A. J. M. M

Lecture notes in computer science, 2003, p.389-406 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
8
Combining Free Choice and Time in Petri Nets
Combining Free Choice and Time in Petri Nets
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Combining Free Choice and Time in Petri Nets

Akshay, S. ; Helouet, Loic ; Phawade, Ramchndra

2016 23rd International Symposium on Temporal Representation and Reasoning (TIME), 2016, p.120-129

IEEE

Texto completo disponível

Citações Citado por
9
Parallel Simulation of Queueing Petri Nets
Parallel Simulation of Queueing Petri Nets
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Parallel Simulation of Queueing Petri Nets

Walter, Jürgen ; Spinner, Simon ; Kounev, Samuel

EAI endorsed transactions on industrial networks and intelligent systems, 2016, Vol.3 (8) [Periódico revisado por pares]

Ghent: European Alliance for Innovation (EAI)

Texto completo disponível

Citações Citado por
10
HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems
HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems

Pilch, Carina ; Niehage, Mathis ; Remke, Anne

2018 IEEE 26th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), 2018, p.157-169

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

Data de Publicação 

De até
Refinar
  1. Antes de1986  (25)
  2. 1986Até1994  (748)
  3. 1995Até2003  (1.814)
  4. 2004Até2013  (3.366)
  5. Após 2013  (562)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (29)
  2. Chinês  (25)
  3. Espanhol  (3)
  4. Português  (1)
  5. Francês  (1)
  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.