skip to main content
Idioma:
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
3D Support for Business Process Simulation
3D Support for Business Process Simulation
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

3D Support for Business Process Simulation

Eichhorn, D. ; Koschmider, A. ; Yu Li ; Sturzel, P. ; Oberweis, A. ; Trunko, R.

2009 33rd Annual IEEE International Computer Software and Applications Conference, 2009, Vol.1, p.73-80

IEEE

Texto completo disponível

Citações Citado por
2
3D-Visualization of Petri Net Models: Concept and Realization
3D-Visualization of Petri Net Models: Concept and Realization
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

3D-Visualization of Petri Net Models: Concept and Realization

Kindler, Ekkart ; Páles, Csaba

Applications and Theory of Petri Nets 2004, 2004, p.464-473 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
3
750 kV substation fault diagnosis based on information fusion
750 kV substation fault diagnosis based on information fusion
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

750 kV substation fault diagnosis based on information fusion

Dong, Haiying ; Li, Xiaonan ; Yang, Lixia ; Ren, Wei

The 27th Chinese Control and Decision Conference (2015 CCDC), 2015, p.2746-2751

IEEE

Texto completo disponível

Citações Citado por
4
AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics
AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics

Dajiang Suo ; Jinxia An ; Jihong Zhu

2011 18th Asia-Pacific Software Engineering Conference, 2011, p.266-273

IEEE

Texto completo disponível

Citações Citado por
5
AAHPNES: A Hierarchical Petri Net Expert System realization of adaptive autonomy in Smart Grid
AAHPNES: A Hierarchical Petri Net Expert System realization of adaptive autonomy in Smart Grid
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

AAHPNES: A Hierarchical Petri Net Expert System realization of adaptive autonomy in Smart Grid

Fereidunian, A. ; Zamani, M. A. ; Sharifi K, M. A. ; Lesani, H.

2011 IEEE Trondheim PowerTech, 2011, p.1-7

IEEE

Texto completo disponível

Citações Citado por
6
AAPNES: A Petri Net expert system realization of adaptive autonomy in smart grid
AAPNES: A Petri Net expert system realization of adaptive autonomy in smart grid
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

AAPNES: A Petri Net expert system realization of adaptive autonomy in smart grid

Zamani, M A ; Fereidunian, A ; Sharifi K, M A ; Lesani, H ; Lucas, C

2010 5th International Symposium on Telecommunications, 2010, p.968-973

IEEE

Texto completo disponível

Citações Citado por
7
ABCD: A User-Friendly Language for Formal Modelling and Analysis
ABCD: A User-Friendly Language for Formal Modelling and Analysis
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

ABCD: A User-Friendly Language for Formal Modelling and Analysis

Pommereau, Franck

Application and Theory of Petri Nets and Concurrency, p.176-195 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
8
About disturbance decoupling of timed event graphs in dioids
About disturbance decoupling of timed event graphs in dioids
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

About disturbance decoupling of timed event graphs in dioids

Lhommeau, M. ; Hardouin, L. ; Cottenceau, B.

Sixth International Workshop on Discrete Event Systems, 2002. Proceedings, 2002, p.203-208

IEEE

Texto completo disponível

Citações Citado por
9
About numerical methods for timed and continuous Petri nets
About numerical methods for timed and continuous Petri nets
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

About numerical methods for timed and continuous Petri nets

Lefebvre, D.

IEEE International Conference on Systems, Man and Cybernetics, 2002, Vol.4, p.6 pp. vol.4

IEEE

Texto completo disponível

Citações Citado por
10
About the Relational Tool of Technological Process for Checking Properties of Time Petri Model of Scale System with Parallelism
About the Relational Tool of Technological Process for Checking Properties of Time Petri Model of Scale System with Parallelism
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

About the Relational Tool of Technological Process for Checking Properties of Time Petri Model of Scale System with Parallelism

Dereza, Alena

2018 International Russian Automation Conference (RusAutoCon), 2018, p.1-5

IEEE

Texto completo disponível

Citações Citado por

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.