Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Redes de petri). Showing records 1 – 30 of 177 total matches.

[1] [2] [3] [4] [5] [6]

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters


Pontifical Catholic University of Rio de Janeiro

1. GIOVANNI CORDEIRO BARROSO. [en] A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO.

Degree: 2009, Pontifical Catholic University of Rio de Janeiro

[pt] A modelagem de sistemas que apresentam subsistemas idênticos, por intermédio de Redes de Petri, conduz à geração de grafos de grandes dimensões com diversos… (more)

Subjects/Keywords: [pt] REDES DE PETRI; [en] PETRI NETS; [pt] REDES DE PETRI COLORIDAS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

BARROSO, G. C. (2009). [en] A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14192

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

BARROSO, GIOVANNI CORDEIRO. “[en] A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO.” 2009. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed March 06, 2021. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14192.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

BARROSO, GIOVANNI CORDEIRO. “[en] A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO.” 2009. Web. 06 Mar 2021.

Vancouver:

BARROSO GC. [en] A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2009. [cited 2021 Mar 06]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14192.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

BARROSO GC. [en] A STUDY ON COLORED PETRI NETS AND A PROGRAM TO ANALYZE COLORED PETRI NETS: ANARCO. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2009. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14192

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade do Minho

2. Guimarães, Hugo Miguel Teixeira Lopes. Geração de esqueletos para sistemas de ETL a partir de redes de Petri colorida .

Degree: 2014, Universidade do Minho

 As Redes de Petri Coloridas são uma linguagem gráfica com uma semântica bem definida, que permite o desenho, especificação, simulação e validação de sistemas, cujos… (more)

Subjects/Keywords: Redes de Petri coloridas; ETL; Modelação

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Guimarães, H. M. T. L. (2014). Geração de esqueletos para sistemas de ETL a partir de redes de Petri colorida . (Masters Thesis). Universidade do Minho. Retrieved from http://hdl.handle.net/1822/36773

Chicago Manual of Style (16th Edition):

Guimarães, Hugo Miguel Teixeira Lopes. “Geração de esqueletos para sistemas de ETL a partir de redes de Petri colorida .” 2014. Masters Thesis, Universidade do Minho. Accessed March 06, 2021. http://hdl.handle.net/1822/36773.

MLA Handbook (7th Edition):

Guimarães, Hugo Miguel Teixeira Lopes. “Geração de esqueletos para sistemas de ETL a partir de redes de Petri colorida .” 2014. Web. 06 Mar 2021.

Vancouver:

Guimarães HMTL. Geração de esqueletos para sistemas de ETL a partir de redes de Petri colorida . [Internet] [Masters thesis]. Universidade do Minho; 2014. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/1822/36773.

Council of Science Editors:

Guimarães HMTL. Geração de esqueletos para sistemas de ETL a partir de redes de Petri colorida . [Masters Thesis]. Universidade do Minho; 2014. Available from: http://hdl.handle.net/1822/36773

3. Michele Nasu Tomiyama. Modelagem e simulação de processos biológicos usando redes de petri predicado transição diferenciais.

Degree: 2007, Federal University of Uberlândia

O objetivo deste trabalho é o de propor uma abordagem baseada em modelos híbridos para o estudo de processos biológicos. Inicialmente, um estudo sobre modelagem… (more)

Subjects/Keywords: Redes de petri; CIENCIA DA COMPUTACAO; Bioinformática

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Tomiyama, M. N. (2007). Modelagem e simulação de processos biológicos usando redes de petri predicado transição diferenciais. (Thesis). Federal University of Uberlândia. Retrieved from http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=1445

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Tomiyama, Michele Nasu. “Modelagem e simulação de processos biológicos usando redes de petri predicado transição diferenciais.” 2007. Thesis, Federal University of Uberlândia. Accessed March 06, 2021. http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=1445.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Tomiyama, Michele Nasu. “Modelagem e simulação de processos biológicos usando redes de petri predicado transição diferenciais.” 2007. Web. 06 Mar 2021.

Vancouver:

Tomiyama MN. Modelagem e simulação de processos biológicos usando redes de petri predicado transição diferenciais. [Internet] [Thesis]. Federal University of Uberlândia; 2007. [cited 2021 Mar 06]. Available from: http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=1445.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Tomiyama MN. Modelagem e simulação de processos biológicos usando redes de petri predicado transição diferenciais. [Thesis]. Federal University of Uberlândia; 2007. Available from: http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=1445

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

4. Oliveira, Claiton de. Associação de redes de Petri com objetos virtuais e reais para controle de ambientes virtuais imersivos e telepresença.

Degree: Mestrado, Manufatura, 2008, University of São Paulo

A telepresença, como um refinamento da teleoperação, permite que o indivíduo controle não apenas a simulação mas a própria realidade. Uma vez que, esta proporciona… (more)

Subjects/Keywords: Ambientes virtuais; Petri nets; Redes de Petri; Telepresença; Telepresence; Virtual environments

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Oliveira, C. d. (2008). Associação de redes de Petri com objetos virtuais e reais para controle de ambientes virtuais imersivos e telepresença. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/18/18145/tde-17012011-142830/ ;

Chicago Manual of Style (16th Edition):

Oliveira, Claiton de. “Associação de redes de Petri com objetos virtuais e reais para controle de ambientes virtuais imersivos e telepresença.” 2008. Masters Thesis, University of São Paulo. Accessed March 06, 2021. http://www.teses.usp.br/teses/disponiveis/18/18145/tde-17012011-142830/ ;.

MLA Handbook (7th Edition):

Oliveira, Claiton de. “Associação de redes de Petri com objetos virtuais e reais para controle de ambientes virtuais imersivos e telepresença.” 2008. Web. 06 Mar 2021.

Vancouver:

Oliveira Cd. Associação de redes de Petri com objetos virtuais e reais para controle de ambientes virtuais imersivos e telepresença. [Internet] [Masters thesis]. University of São Paulo; 2008. [cited 2021 Mar 06]. Available from: http://www.teses.usp.br/teses/disponiveis/18/18145/tde-17012011-142830/ ;.

Council of Science Editors:

Oliveira Cd. Associação de redes de Petri com objetos virtuais e reais para controle de ambientes virtuais imersivos e telepresença. [Masters Thesis]. University of São Paulo; 2008. Available from: http://www.teses.usp.br/teses/disponiveis/18/18145/tde-17012011-142830/ ;

5. PEREIRA, Leonardo Arcanjo da Fonseca. Modelagem e avaliação de mecanismos de composição para redes de ambiente .

Degree: 2008, Universidade Federal de Pernambuco

 A evolução das tecnologias de rede sem fio e a crescente necessidade de integração e alta disponibilidade de serviços alavancou pesquisa nesta área de redes(more)

Subjects/Keywords: Avaliação de Desempenho; Redes de Ambiente; Redes de Petri

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

PEREIRA, L. A. d. F. (2008). Modelagem e avaliação de mecanismos de composição para redes de ambiente . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/2296

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

PEREIRA, Leonardo Arcanjo da Fonseca. “Modelagem e avaliação de mecanismos de composição para redes de ambiente .” 2008. Thesis, Universidade Federal de Pernambuco. Accessed March 06, 2021. http://repositorio.ufpe.br/handle/123456789/2296.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

PEREIRA, Leonardo Arcanjo da Fonseca. “Modelagem e avaliação de mecanismos de composição para redes de ambiente .” 2008. Web. 06 Mar 2021.

Vancouver:

PEREIRA LAdF. Modelagem e avaliação de mecanismos de composição para redes de ambiente . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2008. [cited 2021 Mar 06]. Available from: http://repositorio.ufpe.br/handle/123456789/2296.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

PEREIRA LAdF. Modelagem e avaliação de mecanismos de composição para redes de ambiente . [Thesis]. Universidade Federal de Pernambuco; 2008. Available from: http://repositorio.ufpe.br/handle/123456789/2296

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

6. ARAÚJO, Carlos Julian Menezes. Tomada de decisão multicritério em infraestruturas como serviço em nuvem: uma abordagem baseada em modelos de dependabilidade, performabilidade e custo .

Degree: 2019, Universidade Federal de Pernambuco

 A computação em nuvem é um paradigma que fornece serviços por meio da Internet. O paradigma foi influenciado por tecnologias anteriormente disponíveis (por exemplo, cluster,… (more)

Subjects/Keywords: Redes de computadores; Computação em nuvem; Redes de Petri

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

ARAÚJO, C. J. M. (2019). Tomada de decisão multicritério em infraestruturas como serviço em nuvem: uma abordagem baseada em modelos de dependabilidade, performabilidade e custo . (Doctoral Dissertation). Universidade Federal de Pernambuco. Retrieved from https://repositorio.ufpe.br/handle/123456789/33690

Chicago Manual of Style (16th Edition):

ARAÚJO, Carlos Julian Menezes. “Tomada de decisão multicritério em infraestruturas como serviço em nuvem: uma abordagem baseada em modelos de dependabilidade, performabilidade e custo .” 2019. Doctoral Dissertation, Universidade Federal de Pernambuco. Accessed March 06, 2021. https://repositorio.ufpe.br/handle/123456789/33690.

MLA Handbook (7th Edition):

ARAÚJO, Carlos Julian Menezes. “Tomada de decisão multicritério em infraestruturas como serviço em nuvem: uma abordagem baseada em modelos de dependabilidade, performabilidade e custo .” 2019. Web. 06 Mar 2021.

Vancouver:

ARAÚJO CJM. Tomada de decisão multicritério em infraestruturas como serviço em nuvem: uma abordagem baseada em modelos de dependabilidade, performabilidade e custo . [Internet] [Doctoral dissertation]. Universidade Federal de Pernambuco; 2019. [cited 2021 Mar 06]. Available from: https://repositorio.ufpe.br/handle/123456789/33690.

Council of Science Editors:

ARAÚJO CJM. Tomada de decisão multicritério em infraestruturas como serviço em nuvem: uma abordagem baseada em modelos de dependabilidade, performabilidade e custo . [Doctoral Dissertation]. Universidade Federal de Pernambuco; 2019. Available from: https://repositorio.ufpe.br/handle/123456789/33690

7. Henrique Jorge Amorim Holanda. AvaliaÃÃo de Desempenho de Web Services Orquestrados com BPEL4People.

Degree: PhD, 2012, Universidade Federal do Ceará

Web Services (WS) sÃo pilares para a construÃÃo de aplicaÃÃes orientadas a serviÃos. Uma sÃrie de linguagens para a composiÃÃo de serviÃos web tÃm sido… (more)

Subjects/Keywords: ENGENHARIAS; TeleinformÃtica; Petri, Redes de; Performance; SOA; Web Service; BPel4People; Petri Nets

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Holanda, H. J. A. (2012). AvaliaÃÃo de Desempenho de Web Services Orquestrados com BPEL4People. (Doctoral Dissertation). Universidade Federal do Ceará. Retrieved from http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=9565 ;

Chicago Manual of Style (16th Edition):

Holanda, Henrique Jorge Amorim. “AvaliaÃÃo de Desempenho de Web Services Orquestrados com BPEL4People.” 2012. Doctoral Dissertation, Universidade Federal do Ceará. Accessed March 06, 2021. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=9565 ;.

MLA Handbook (7th Edition):

Holanda, Henrique Jorge Amorim. “AvaliaÃÃo de Desempenho de Web Services Orquestrados com BPEL4People.” 2012. Web. 06 Mar 2021.

Vancouver:

Holanda HJA. AvaliaÃÃo de Desempenho de Web Services Orquestrados com BPEL4People. [Internet] [Doctoral dissertation]. Universidade Federal do Ceará 2012. [cited 2021 Mar 06]. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=9565 ;.

Council of Science Editors:

Holanda HJA. AvaliaÃÃo de Desempenho de Web Services Orquestrados com BPEL4People. [Doctoral Dissertation]. Universidade Federal do Ceará 2012. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=9565 ;

8. Klendson Marques Canuto. Sistema automÃtico de recomposiÃÃo fluente baseado em redes de Petri coloridas.

Degree: Master, 2013, Universidade Federal do Ceará

Este trabalho apresenta uma modelagem computacional para a representaÃÃo de planos de recomposiÃÃo fluente automÃtica de sistemas elÃtricos de potÃncia. O modelo utiliza Redes de(more)

Subjects/Keywords: ENGENHARIA ELETRICA; Energia elÃtrica; Petri, Redes de; Restoration Fluent; Colored Petri Nets; Power Systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Canuto, K. M. (2013). Sistema automÃtico de recomposiÃÃo fluente baseado em redes de Petri coloridas. (Masters Thesis). Universidade Federal do Ceará. Retrieved from http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=10324 ;

Chicago Manual of Style (16th Edition):

Canuto, Klendson Marques. “Sistema automÃtico de recomposiÃÃo fluente baseado em redes de Petri coloridas.” 2013. Masters Thesis, Universidade Federal do Ceará. Accessed March 06, 2021. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=10324 ;.

MLA Handbook (7th Edition):

Canuto, Klendson Marques. “Sistema automÃtico de recomposiÃÃo fluente baseado em redes de Petri coloridas.” 2013. Web. 06 Mar 2021.

Vancouver:

Canuto KM. Sistema automÃtico de recomposiÃÃo fluente baseado em redes de Petri coloridas. [Internet] [Masters thesis]. Universidade Federal do Ceará 2013. [cited 2021 Mar 06]. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=10324 ;.

Council of Science Editors:

Canuto KM. Sistema automÃtico de recomposiÃÃo fluente baseado em redes de Petri coloridas. [Masters Thesis]. Universidade Federal do Ceará 2013. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=10324 ;


Pontifical Catholic University of Rio de Janeiro

9. ISABEL MARIA LAMBERT TORRES. [en] AN APPLICATION OF EXPERT SYSTEMS/ PETRI NETS TO A FLEXIBLE WORKSHOP.

Degree: 2009, Pontifical Catholic University of Rio de Janeiro

[pt] Este trabalho apresenta o desenvolvimento de um software baseado nas Redes de Petri e nos Sistemas Especialistas para modelagem, escalonameto e simulação das atividades… (more)

Subjects/Keywords: [pt] SISTEMAS ESPECIALISTAS; [en] EXPERT SYSTEMS; [pt] REDES DE PETRI; [en] PETRI NETS; [pt] OFICINA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

TORRES, I. M. L. (2009). [en] AN APPLICATION OF EXPERT SYSTEMS/ PETRI NETS TO A FLEXIBLE WORKSHOP. (Thesis). Pontifical Catholic University of Rio de Janeiro. Retrieved from http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14299

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

TORRES, ISABEL MARIA LAMBERT. “[en] AN APPLICATION OF EXPERT SYSTEMS/ PETRI NETS TO A FLEXIBLE WORKSHOP.” 2009. Thesis, Pontifical Catholic University of Rio de Janeiro. Accessed March 06, 2021. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14299.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

TORRES, ISABEL MARIA LAMBERT. “[en] AN APPLICATION OF EXPERT SYSTEMS/ PETRI NETS TO A FLEXIBLE WORKSHOP.” 2009. Web. 06 Mar 2021.

Vancouver:

TORRES IML. [en] AN APPLICATION OF EXPERT SYSTEMS/ PETRI NETS TO A FLEXIBLE WORKSHOP. [Internet] [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2009. [cited 2021 Mar 06]. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14299.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

TORRES IML. [en] AN APPLICATION OF EXPERT SYSTEMS/ PETRI NETS TO A FLEXIBLE WORKSHOP. [Thesis]. Pontifical Catholic University of Rio de Janeiro; 2009. Available from: http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14299

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

10. Ortega, Fábio José Muneratti. Modelagem e análise de políticas de segurança em sistemas com regras associadas ao negócio.

Degree: Mestrado, Sistemas Digitais, 2013, University of São Paulo

Propõe-se uma estratégia de modelagem e de análise formal de políticas de segurança para sistemas baseados em fluxos de trabalho (workflows) e contendo regras que… (more)

Subjects/Keywords: Network security (Policy); Petri nets; Redes de Petri; Segurança de redes (Política); Verificação de modelos; Verification of models

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ortega, F. J. M. (2013). Modelagem e análise de políticas de segurança em sistemas com regras associadas ao negócio. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11072014-010929/ ;

Chicago Manual of Style (16th Edition):

Ortega, Fábio José Muneratti. “Modelagem e análise de políticas de segurança em sistemas com regras associadas ao negócio.” 2013. Masters Thesis, University of São Paulo. Accessed March 06, 2021. http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11072014-010929/ ;.

MLA Handbook (7th Edition):

Ortega, Fábio José Muneratti. “Modelagem e análise de políticas de segurança em sistemas com regras associadas ao negócio.” 2013. Web. 06 Mar 2021.

Vancouver:

Ortega FJM. Modelagem e análise de políticas de segurança em sistemas com regras associadas ao negócio. [Internet] [Masters thesis]. University of São Paulo; 2013. [cited 2021 Mar 06]. Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11072014-010929/ ;.

Council of Science Editors:

Ortega FJM. Modelagem e análise de políticas de segurança em sistemas com regras associadas ao negócio. [Masters Thesis]. University of São Paulo; 2013. Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11072014-010929/ ;

11. Delgado Arteiro, Roberto. JMSCapacity- um toolkit para auxiliar no planejamento de capacidade de middleware orientado a mensagem .

Degree: 2009, Universidade Federal de Pernambuco

 Um dos maiores desafios atuais das organizações é a integração das aplicações corporativas permitindo o adequado gerenciamento dos processos de negócio. Atualmente, sistemas de middleware… (more)

Subjects/Keywords: Middleware; Integração de Aplicações; Avaliação de Desempenho; Redes de Petri

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Delgado Arteiro, R. (2009). JMSCapacity- um toolkit para auxiliar no planejamento de capacidade de middleware orientado a mensagem . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/2338

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Delgado Arteiro, Roberto. “JMSCapacity- um toolkit para auxiliar no planejamento de capacidade de middleware orientado a mensagem .” 2009. Thesis, Universidade Federal de Pernambuco. Accessed March 06, 2021. http://repositorio.ufpe.br/handle/123456789/2338.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Delgado Arteiro, Roberto. “JMSCapacity- um toolkit para auxiliar no planejamento de capacidade de middleware orientado a mensagem .” 2009. Web. 06 Mar 2021.

Vancouver:

Delgado Arteiro R. JMSCapacity- um toolkit para auxiliar no planejamento de capacidade de middleware orientado a mensagem . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2009. [cited 2021 Mar 06]. Available from: http://repositorio.ufpe.br/handle/123456789/2338.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Delgado Arteiro R. JMSCapacity- um toolkit para auxiliar no planejamento de capacidade de middleware orientado a mensagem . [Thesis]. Universidade Federal de Pernambuco; 2009. Available from: http://repositorio.ufpe.br/handle/123456789/2338

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

12. Gomez Morales, Roy Andres. Modelagem e análise de sistemas flexíveis de manufatura tolerantes à falhas baseado em rede Bayesiana e rede de Petri.

Degree: Mestrado, Engenharia de Controle e Automação Mecânica, 2009, University of São Paulo

O objeto de estudo deste trabalho é a construção de modelos que permitam a estruturação do projeto do controle de sistemas flexíveis de manufatura que… (more)

Subjects/Keywords: Bayesian networks; Discrete-event systems; Falhas computacionais; Petri nets; Redes de Petri; Redes neurais; Sistemas discretos; Sistemas flexíveis de manufatura

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gomez Morales, R. A. (2009). Modelagem e análise de sistemas flexíveis de manufatura tolerantes à falhas baseado em rede Bayesiana e rede de Petri. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/3/3152/tde-18122009-131135/ ;

Chicago Manual of Style (16th Edition):

Gomez Morales, Roy Andres. “Modelagem e análise de sistemas flexíveis de manufatura tolerantes à falhas baseado em rede Bayesiana e rede de Petri.” 2009. Masters Thesis, University of São Paulo. Accessed March 06, 2021. http://www.teses.usp.br/teses/disponiveis/3/3152/tde-18122009-131135/ ;.

MLA Handbook (7th Edition):

Gomez Morales, Roy Andres. “Modelagem e análise de sistemas flexíveis de manufatura tolerantes à falhas baseado em rede Bayesiana e rede de Petri.” 2009. Web. 06 Mar 2021.

Vancouver:

Gomez Morales RA. Modelagem e análise de sistemas flexíveis de manufatura tolerantes à falhas baseado em rede Bayesiana e rede de Petri. [Internet] [Masters thesis]. University of São Paulo; 2009. [cited 2021 Mar 06]. Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-18122009-131135/ ;.

Council of Science Editors:

Gomez Morales RA. Modelagem e análise de sistemas flexíveis de manufatura tolerantes à falhas baseado em rede Bayesiana e rede de Petri. [Masters Thesis]. University of São Paulo; 2009. Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-18122009-131135/ ;

13. Josà Giordane Silveira. Sistema para SeleÃÃo AutomÃtica de Grupos de Ajustes em RelÃs de ProteÃÃo.

Degree: Master, 2011, Universidade Federal do Ceará

Os modernos sistemas de mediÃÃo, proteÃÃo, comando, controle e supervisÃo (MPCCS) tÃm contribuÃdo de forma significativa para o aumento da seguranÃa, confiabilidade e continuidade de(more)

Subjects/Keywords: SISTEMAS ELETRICOS DE POTENCIA; Redes de Petri; Redes elÃtricas - ProteÃÃo; Seletividade; Petri nets; Electrical protective relays; Selectivity; Engenharia ElÃtrica

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Silveira, J. G. (2011). Sistema para SeleÃÃo AutomÃtica de Grupos de Ajustes em RelÃs de ProteÃÃo. (Masters Thesis). Universidade Federal do Ceará. Retrieved from http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=6881 ;

Chicago Manual of Style (16th Edition):

Silveira, Josà Giordane. “Sistema para SeleÃÃo AutomÃtica de Grupos de Ajustes em RelÃs de ProteÃÃo.” 2011. Masters Thesis, Universidade Federal do Ceará. Accessed March 06, 2021. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=6881 ;.

MLA Handbook (7th Edition):

Silveira, Josà Giordane. “Sistema para SeleÃÃo AutomÃtica de Grupos de Ajustes em RelÃs de ProteÃÃo.” 2011. Web. 06 Mar 2021.

Vancouver:

Silveira JG. Sistema para SeleÃÃo AutomÃtica de Grupos de Ajustes em RelÃs de ProteÃÃo. [Internet] [Masters thesis]. Universidade Federal do Ceará 2011. [cited 2021 Mar 06]. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=6881 ;.

Council of Science Editors:

Silveira JG. Sistema para SeleÃÃo AutomÃtica de Grupos de Ajustes em RelÃs de ProteÃÃo. [Masters Thesis]. Universidade Federal do Ceará 2011. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=6881 ;

14. Liliane do Nascimento Vale. Especificação de testes funcionais usando Redes de Petri a objetos para softwares orientados a objetos.

Degree: 2009, Federal University of Uberlândia

The main purposed of this paper is to show the formalization of functional tests spec- ifying then with Object Petri Nets and Workflow-Nets in relation… (more)

Subjects/Keywords: CIENCIA DA COMPUTACAO; Software - Desenvolvimento; Fluxo de trabalho; Redes de petri

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Vale, L. d. N. (2009). Especificação de testes funcionais usando Redes de Petri a objetos para softwares orientados a objetos. (Thesis). Federal University of Uberlândia. Retrieved from http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=2334

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Vale, Liliane do Nascimento. “Especificação de testes funcionais usando Redes de Petri a objetos para softwares orientados a objetos.” 2009. Thesis, Federal University of Uberlândia. Accessed March 06, 2021. http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=2334.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Vale, Liliane do Nascimento. “Especificação de testes funcionais usando Redes de Petri a objetos para softwares orientados a objetos.” 2009. Web. 06 Mar 2021.

Vancouver:

Vale LdN. Especificação de testes funcionais usando Redes de Petri a objetos para softwares orientados a objetos. [Internet] [Thesis]. Federal University of Uberlândia; 2009. [cited 2021 Mar 06]. Available from: http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=2334.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Vale LdN. Especificação de testes funcionais usando Redes de Petri a objetos para softwares orientados a objetos. [Thesis]. Federal University of Uberlândia; 2009. Available from: http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=2334

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade Nova

15. Reis, Mauro António Pereira dos. Reengenharia de um sistema de controladores domóticos utilizando Redes de Petri.

Degree: 2011, Universidade Nova

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica e de(more)

Subjects/Keywords: Domótica; Tiny Domot; Redes de Petri; Diagramas de estados

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Reis, M. A. P. d. (2011). Reengenharia de um sistema de controladores domóticos utilizando Redes de Petri. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/5728

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Reis, Mauro António Pereira dos. “Reengenharia de um sistema de controladores domóticos utilizando Redes de Petri.” 2011. Thesis, Universidade Nova. Accessed March 06, 2021. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/5728.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Reis, Mauro António Pereira dos. “Reengenharia de um sistema de controladores domóticos utilizando Redes de Petri.” 2011. Web. 06 Mar 2021.

Vancouver:

Reis MAPd. Reengenharia de um sistema de controladores domóticos utilizando Redes de Petri. [Internet] [Thesis]. Universidade Nova; 2011. [cited 2021 Mar 06]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/5728.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Reis MAPd. Reengenharia de um sistema de controladores domóticos utilizando Redes de Petri. [Thesis]. Universidade Nova; 2011. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/5728

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

16. SILVA, Bruno Cesar Ferreira. CPN simulation-based test case generation from natural language requirements .

Degree: 2016, Universidade Federal de Pernambuco

 Software Engineering faces challenges such as difficulty in understanding the user needs, ambiguous specifications, poorly defined requirements and therefore problems in interpreting the system requirements.… (more)

Subjects/Keywords: Ciência da computação; Redes de Petri; Simulação de modelos

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

SILVA, B. C. F. (2016). CPN simulation-based test case generation from natural language requirements . (Masters Thesis). Universidade Federal de Pernambuco. Retrieved from https://repositorio.ufpe.br/handle/123456789/22471

Chicago Manual of Style (16th Edition):

SILVA, Bruno Cesar Ferreira. “CPN simulation-based test case generation from natural language requirements .” 2016. Masters Thesis, Universidade Federal de Pernambuco. Accessed March 06, 2021. https://repositorio.ufpe.br/handle/123456789/22471.

MLA Handbook (7th Edition):

SILVA, Bruno Cesar Ferreira. “CPN simulation-based test case generation from natural language requirements .” 2016. Web. 06 Mar 2021.

Vancouver:

SILVA BCF. CPN simulation-based test case generation from natural language requirements . [Internet] [Masters thesis]. Universidade Federal de Pernambuco; 2016. [cited 2021 Mar 06]. Available from: https://repositorio.ufpe.br/handle/123456789/22471.

Council of Science Editors:

SILVA BCF. CPN simulation-based test case generation from natural language requirements . [Masters Thesis]. Universidade Federal de Pernambuco; 2016. Available from: https://repositorio.ufpe.br/handle/123456789/22471


Universitat Politècnica de València

17. Rodríguez Urrego, Leonardo. Diagnóstico de Fallos en Sistemas Complejos basado en el Método de Anidamiento Latente usando Redes de Petri Coloreadas e Híbridas .

Degree: 2012, Universitat Politècnica de València

 En esta tesis doctoral se presenta la formulación de una nueva técnica para el diagnóstico de fallos en sistemas complejos llamada el Método de Anidamiento… (more)

Subjects/Keywords: Diagnóstico de fallos; Redes de petri; Sistemas complejos

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rodríguez Urrego, L. (2012). Diagnóstico de Fallos en Sistemas Complejos basado en el Método de Anidamiento Latente usando Redes de Petri Coloreadas e Híbridas . (Doctoral Dissertation). Universitat Politècnica de València. Retrieved from http://hdl.handle.net/10251/17461

Chicago Manual of Style (16th Edition):

Rodríguez Urrego, Leonardo. “Diagnóstico de Fallos en Sistemas Complejos basado en el Método de Anidamiento Latente usando Redes de Petri Coloreadas e Híbridas .” 2012. Doctoral Dissertation, Universitat Politècnica de València. Accessed March 06, 2021. http://hdl.handle.net/10251/17461.

MLA Handbook (7th Edition):

Rodríguez Urrego, Leonardo. “Diagnóstico de Fallos en Sistemas Complejos basado en el Método de Anidamiento Latente usando Redes de Petri Coloreadas e Híbridas .” 2012. Web. 06 Mar 2021.

Vancouver:

Rodríguez Urrego L. Diagnóstico de Fallos en Sistemas Complejos basado en el Método de Anidamiento Latente usando Redes de Petri Coloreadas e Híbridas . [Internet] [Doctoral dissertation]. Universitat Politècnica de València; 2012. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/10251/17461.

Council of Science Editors:

Rodríguez Urrego L. Diagnóstico de Fallos en Sistemas Complejos basado en el Método de Anidamiento Latente usando Redes de Petri Coloreadas e Híbridas . [Doctoral Dissertation]. Universitat Politècnica de València; 2012. Available from: http://hdl.handle.net/10251/17461

18. Cañón Díaz, Ilmer Andrey. Programación de múltiples proyectos con tiempo restringido minimizando costos de recursos.

Degree: 2020, Universidad de los Andes

 Este artículo presenta la propuesta de una variante del problema conocido como Resource Availability Cost Problem y la implementación de un algoritmo heurístico basado en… (more)

Subjects/Keywords: Administración de proyectos; Programación (Administración); Algoritmos heurísticos; Redes de Petri

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Cañón Díaz, I. A. (2020). Programación de múltiples proyectos con tiempo restringido minimizando costos de recursos. (Thesis). Universidad de los Andes. Retrieved from http://hdl.handle.net/1992/34331

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Cañón Díaz, Ilmer Andrey. “Programación de múltiples proyectos con tiempo restringido minimizando costos de recursos.” 2020. Thesis, Universidad de los Andes. Accessed March 06, 2021. http://hdl.handle.net/1992/34331.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Cañón Díaz, Ilmer Andrey. “Programación de múltiples proyectos con tiempo restringido minimizando costos de recursos.” 2020. Web. 06 Mar 2021.

Vancouver:

Cañón Díaz IA. Programación de múltiples proyectos con tiempo restringido minimizando costos de recursos. [Internet] [Thesis]. Universidad de los Andes; 2020. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/1992/34331.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Cañón Díaz IA. Programación de múltiples proyectos con tiempo restringido minimizando costos de recursos. [Thesis]. Universidad de los Andes; 2020. Available from: http://hdl.handle.net/1992/34331

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

19. Nádia Guimarães Sousa. Propagação de Comportamento Anormal em Sistemas Híbridos Dinâmicos.

Degree: 2010, Federal University of Uberlândia

A maioria dos sistemas industriais pode ser classificada como pertencente _a classe de sistemas híbridos dinâmicos, ou seja, sistemas compostos por variáveis no domínio contínuo… (more)

Subjects/Keywords: ENGENHARIA QUIMICA; Sistemas Híbridos; Propagação de falhas; Redes de Petri; SDG; Processos químicos; Redes de Petri; Hybrid systems; Fault detection; Petri nets

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sousa, N. G. (2010). Propagação de Comportamento Anormal em Sistemas Híbridos Dinâmicos. (Thesis). Federal University of Uberlândia. Retrieved from http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=3102

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Sousa, Nádia Guimarães. “Propagação de Comportamento Anormal em Sistemas Híbridos Dinâmicos.” 2010. Thesis, Federal University of Uberlândia. Accessed March 06, 2021. http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=3102.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Sousa, Nádia Guimarães. “Propagação de Comportamento Anormal em Sistemas Híbridos Dinâmicos.” 2010. Web. 06 Mar 2021.

Vancouver:

Sousa NG. Propagação de Comportamento Anormal em Sistemas Híbridos Dinâmicos. [Internet] [Thesis]. Federal University of Uberlândia; 2010. [cited 2021 Mar 06]. Available from: http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=3102.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Sousa NG. Propagação de Comportamento Anormal em Sistemas Híbridos Dinâmicos. [Thesis]. Federal University of Uberlândia; 2010. Available from: http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=3102

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

20. Soares, Jesse James Matos. Uma Abordagem Para a Transformação da Notação BPMN Para a Notação de Redes de PETRI .

Degree: 2014, Universidade Federal de Pernambuco

 A adoção da Gestão de Processos de Negócios vem crescendo nos mais diversos tipos de instituições em geral, nos últimos anos, principalmente a partir da… (more)

Subjects/Keywords: Negócio; Processo; Gerenciamento; BPMN; Redes de Petri; Transformação; GSPN

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Soares, J. J. M. (2014). Uma Abordagem Para a Transformação da Notação BPMN Para a Notação de Redes de PETRI . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/11529

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Soares, Jesse James Matos. “Uma Abordagem Para a Transformação da Notação BPMN Para a Notação de Redes de PETRI .” 2014. Thesis, Universidade Federal de Pernambuco. Accessed March 06, 2021. http://repositorio.ufpe.br/handle/123456789/11529.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Soares, Jesse James Matos. “Uma Abordagem Para a Transformação da Notação BPMN Para a Notação de Redes de PETRI .” 2014. Web. 06 Mar 2021.

Vancouver:

Soares JJM. Uma Abordagem Para a Transformação da Notação BPMN Para a Notação de Redes de PETRI . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2014. [cited 2021 Mar 06]. Available from: http://repositorio.ufpe.br/handle/123456789/11529.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Soares JJM. Uma Abordagem Para a Transformação da Notação BPMN Para a Notação de Redes de PETRI . [Thesis]. Universidade Federal de Pernambuco; 2014. Available from: http://repositorio.ufpe.br/handle/123456789/11529

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

21. Souza, Rafael Roque de. Avaliação de dependabilidade de infraestruturas de data centers considerando os efeitos da variação de temperatura .

Degree: 2013, Universidade Federal de Pernambuco

 Os data centers estão em constante crescimento, a fim de atender às demandas de novas tecnologias, como cloud computing e e-commerce. Em tais paradigmas, períodos… (more)

Subjects/Keywords: Disponibilidade; Data center; Temperatura; Redes de Petri estocástica

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Souza, R. R. d. (2013). Avaliação de dependabilidade de infraestruturas de data centers considerando os efeitos da variação de temperatura . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/12418

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Souza, Rafael Roque de. “Avaliação de dependabilidade de infraestruturas de data centers considerando os efeitos da variação de temperatura .” 2013. Thesis, Universidade Federal de Pernambuco. Accessed March 06, 2021. http://repositorio.ufpe.br/handle/123456789/12418.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Souza, Rafael Roque de. “Avaliação de dependabilidade de infraestruturas de data centers considerando os efeitos da variação de temperatura .” 2013. Web. 06 Mar 2021.

Vancouver:

Souza RRd. Avaliação de dependabilidade de infraestruturas de data centers considerando os efeitos da variação de temperatura . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2013. [cited 2021 Mar 06]. Available from: http://repositorio.ufpe.br/handle/123456789/12418.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Souza RRd. Avaliação de dependabilidade de infraestruturas de data centers considerando os efeitos da variação de temperatura . [Thesis]. Universidade Federal de Pernambuco; 2013. Available from: http://repositorio.ufpe.br/handle/123456789/12418

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

22. Mário Lins Galdino, Sérgio. ISPN: Modelagem e avaliação estocástica intervalar .

Degree: 2009, Universidade Federal de Pernambuco

 O estudo de sistemas através de modelos é baseado em abstrações do mundo real. Portanto, os cálculos resultantes devem ser interpretados com cautela. Quando incertezas… (more)

Subjects/Keywords: Modelagem Estocástica; Redes de Petri Estocásticas; Análise Intervalar

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mário Lins Galdino, S. (2009). ISPN: Modelagem e avaliação estocástica intervalar . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/1444

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Mário Lins Galdino, Sérgio. “ISPN: Modelagem e avaliação estocástica intervalar .” 2009. Thesis, Universidade Federal de Pernambuco. Accessed March 06, 2021. http://repositorio.ufpe.br/handle/123456789/1444.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Mário Lins Galdino, Sérgio. “ISPN: Modelagem e avaliação estocástica intervalar .” 2009. Web. 06 Mar 2021.

Vancouver:

Mário Lins Galdino S. ISPN: Modelagem e avaliação estocástica intervalar . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2009. [cited 2021 Mar 06]. Available from: http://repositorio.ufpe.br/handle/123456789/1444.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Mário Lins Galdino S. ISPN: Modelagem e avaliação estocástica intervalar . [Thesis]. Universidade Federal de Pernambuco; 2009. Available from: http://repositorio.ufpe.br/handle/123456789/1444

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade Estadual de Campinas

23. Scarpelli, Heloisa de Arruda Camargo. Modelagem, projeto e verificação de bases de regras nebulosas via teoria de redes.

Degree: 1993, Universidade Estadual de Campinas

 Abstract: This work presents two formal models for the representation of fuzzy production rules, based on net theory. The proposal of the models aims at… (more)

Subjects/Keywords: Redes de petri; Conjuntos fuzzy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Scarpelli, H. d. A. C. (1993). Modelagem, projeto e verificação de bases de regras nebulosas via teoria de redes. (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/260762

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Scarpelli, Heloisa de Arruda Camargo. “Modelagem, projeto e verificação de bases de regras nebulosas via teoria de redes.” 1993. Thesis, Universidade Estadual de Campinas. Accessed March 06, 2021. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260762.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Scarpelli, Heloisa de Arruda Camargo. “Modelagem, projeto e verificação de bases de regras nebulosas via teoria de redes.” 1993. Web. 06 Mar 2021.

Vancouver:

Scarpelli HdAC. Modelagem, projeto e verificação de bases de regras nebulosas via teoria de redes. [Internet] [Thesis]. Universidade Estadual de Campinas; 1993. [cited 2021 Mar 06]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/260762.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Scarpelli HdAC. Modelagem, projeto e verificação de bases de regras nebulosas via teoria de redes. [Thesis]. Universidade Estadual de Campinas; 1993. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/260762

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade Nova

24. Lima, Paulo Luís Gonçalves. Geração de código VHDL a partir de especificações IOPT PNML2VHDL.

Degree: 2009, Universidade Nova

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção de grau de Mestre em Engenharia Electrotécnica e de Computadores… (more)

Subjects/Keywords: PNML; VHDL; FORDESIGN; FPGA; IOPT; Redes de Petri

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lima, P. L. G. (2009). Geração de código VHDL a partir de especificações IOPT PNML2VHDL. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/1981

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Lima, Paulo Luís Gonçalves. “Geração de código VHDL a partir de especificações IOPT PNML2VHDL.” 2009. Thesis, Universidade Nova. Accessed March 06, 2021. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/1981.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Lima, Paulo Luís Gonçalves. “Geração de código VHDL a partir de especificações IOPT PNML2VHDL.” 2009. Web. 06 Mar 2021.

Vancouver:

Lima PLG. Geração de código VHDL a partir de especificações IOPT PNML2VHDL. [Internet] [Thesis]. Universidade Nova; 2009. [cited 2021 Mar 06]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/1981.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Lima PLG. Geração de código VHDL a partir de especificações IOPT PNML2VHDL. [Thesis]. Universidade Nova; 2009. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/1981

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

25. OLIVEIRA, Aline Santana Oliveira. SIMF: um framework de injeção e monitoramento de falhas de nuvens computacionais utilizando SPN .

Degree: 2017, Universidade Federal de Pernambuco

 A computação em nuvem é um paradigma computacional que vem sendo utilizado ao longo dos últimos anos devido as suas características de provisionamento de recursos… (more)

Subjects/Keywords: Ciência da computação; Redes de Petri; Computação em nuvem

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

OLIVEIRA, A. S. O. (2017). SIMF: um framework de injeção e monitoramento de falhas de nuvens computacionais utilizando SPN . (Masters Thesis). Universidade Federal de Pernambuco. Retrieved from https://repositorio.ufpe.br/handle/123456789/27928

Chicago Manual of Style (16th Edition):

OLIVEIRA, Aline Santana Oliveira. “SIMF: um framework de injeção e monitoramento de falhas de nuvens computacionais utilizando SPN .” 2017. Masters Thesis, Universidade Federal de Pernambuco. Accessed March 06, 2021. https://repositorio.ufpe.br/handle/123456789/27928.

MLA Handbook (7th Edition):

OLIVEIRA, Aline Santana Oliveira. “SIMF: um framework de injeção e monitoramento de falhas de nuvens computacionais utilizando SPN .” 2017. Web. 06 Mar 2021.

Vancouver:

OLIVEIRA ASO. SIMF: um framework de injeção e monitoramento de falhas de nuvens computacionais utilizando SPN . [Internet] [Masters thesis]. Universidade Federal de Pernambuco; 2017. [cited 2021 Mar 06]. Available from: https://repositorio.ufpe.br/handle/123456789/27928.

Council of Science Editors:

OLIVEIRA ASO. SIMF: um framework de injeção e monitoramento de falhas de nuvens computacionais utilizando SPN . [Masters Thesis]. Universidade Federal de Pernambuco; 2017. Available from: https://repositorio.ufpe.br/handle/123456789/27928


Universitat Politècnica de València

26. Muñoz Añasco, Doyra Mariela. Identificación y Diagnóstico de Fallos en Sistemas de Eventos Discretos Estocásticos.

Degree: 2015, Universitat Politècnica de València

 [EN] This work presents a fault diagnosis method for stochastic discrete event systems without previous model. To achieve this goal, the method identifies the normal… (more)

Subjects/Keywords: Diagnóstico de Fallos; Sistemas de Eventos Discretos, Redes de Petri; Red de Petri interpretada temporizada; Observabilidad; Identificabilidad; Detectabilidad.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Muñoz Añasco, D. M. (2015). Identificación y Diagnóstico de Fallos en Sistemas de Eventos Discretos Estocásticos. (Doctoral Dissertation). Universitat Politècnica de València. Retrieved from http://hdl.handle.net/10251/53915

Chicago Manual of Style (16th Edition):

Muñoz Añasco, Doyra Mariela. “Identificación y Diagnóstico de Fallos en Sistemas de Eventos Discretos Estocásticos. ” 2015. Doctoral Dissertation, Universitat Politècnica de València. Accessed March 06, 2021. http://hdl.handle.net/10251/53915.

MLA Handbook (7th Edition):

Muñoz Añasco, Doyra Mariela. “Identificación y Diagnóstico de Fallos en Sistemas de Eventos Discretos Estocásticos. ” 2015. Web. 06 Mar 2021.

Vancouver:

Muñoz Añasco DM. Identificación y Diagnóstico de Fallos en Sistemas de Eventos Discretos Estocásticos. [Internet] [Doctoral dissertation]. Universitat Politècnica de València; 2015. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/10251/53915.

Council of Science Editors:

Muñoz Añasco DM. Identificación y Diagnóstico de Fallos en Sistemas de Eventos Discretos Estocásticos. [Doctoral Dissertation]. Universitat Politècnica de València; 2015. Available from: http://hdl.handle.net/10251/53915

27. Nakamoto, Francisco Yastami. Projeto de sistemas modulares de controle para sistemas produtivos.

Degree: PhD, Engenharia de Controle e Automação Mecânica, 2008, University of São Paulo

A competição no mercado globalizado, do ponto de vista do consumidor, aumentou consideravelmente a oferta de produtos e serviços, permitindo a escolha pela qualidade, preço,… (more)

Subjects/Keywords: Alocação de recursos (controle); Petri nets; Redes de Petri; Resource allocation; Sistema de controle (produção); System control

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Nakamoto, F. Y. (2008). Projeto de sistemas modulares de controle para sistemas produtivos. (Doctoral Dissertation). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22102008-225322/ ;

Chicago Manual of Style (16th Edition):

Nakamoto, Francisco Yastami. “Projeto de sistemas modulares de controle para sistemas produtivos.” 2008. Doctoral Dissertation, University of São Paulo. Accessed March 06, 2021. http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22102008-225322/ ;.

MLA Handbook (7th Edition):

Nakamoto, Francisco Yastami. “Projeto de sistemas modulares de controle para sistemas produtivos.” 2008. Web. 06 Mar 2021.

Vancouver:

Nakamoto FY. Projeto de sistemas modulares de controle para sistemas produtivos. [Internet] [Doctoral dissertation]. University of São Paulo; 2008. [cited 2021 Mar 06]. Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22102008-225322/ ;.

Council of Science Editors:

Nakamoto FY. Projeto de sistemas modulares de controle para sistemas produtivos. [Doctoral Dissertation]. University of São Paulo; 2008. Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22102008-225322/ ;

28. Almeida, Antonio Gabriel Souza. Modelagem de sistema de controle de ar condicionado baseado em redes de Petri.

Degree: Mestrado, Engenharia de Controle e Automação Mecânica, 2008, University of São Paulo

Dentre as tendências de uso racional de recursos, principalmente energia, e da necessidade de assegurar a produtividade e qualidade na execução de atividades produtivas, destaca-se… (more)

Subjects/Keywords: Air conditioning systems (modelling); Control systems; Petri nets; Redes de Petri; Sistemas de controle; Sistemas de refrigeração e ar condicionado (modelagem)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Almeida, A. G. S. (2008). Modelagem de sistema de controle de ar condicionado baseado em redes de Petri. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/3/3152/tde-29012009-101808/ ;

Chicago Manual of Style (16th Edition):

Almeida, Antonio Gabriel Souza. “Modelagem de sistema de controle de ar condicionado baseado em redes de Petri.” 2008. Masters Thesis, University of São Paulo. Accessed March 06, 2021. http://www.teses.usp.br/teses/disponiveis/3/3152/tde-29012009-101808/ ;.

MLA Handbook (7th Edition):

Almeida, Antonio Gabriel Souza. “Modelagem de sistema de controle de ar condicionado baseado em redes de Petri.” 2008. Web. 06 Mar 2021.

Vancouver:

Almeida AGS. Modelagem de sistema de controle de ar condicionado baseado em redes de Petri. [Internet] [Masters thesis]. University of São Paulo; 2008. [cited 2021 Mar 06]. Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-29012009-101808/ ;.

Council of Science Editors:

Almeida AGS. Modelagem de sistema de controle de ar condicionado baseado em redes de Petri. [Masters Thesis]. University of São Paulo; 2008. Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-29012009-101808/ ;

29. Vismari, Lúcio Flávio. Vigilância dependente automática no controle de tráfego aéreo: avaliação de risco baseada em modelagem em redes de Petri fluidas e estocásticas.

Degree: Mestrado, Sistemas Digitais, 2007, University of São Paulo

Ao longo das últimas décadas, o paradigma de sistemas críticos em segurança vem sofrendo transformações como forma de se adequar às novas necessidades demandadas, tais… (more)

Subjects/Keywords: Air traffic (safety); Análise de risco; Petri nets; Redes de Petri; Risk analysis; Simulação de sistemas; Systems simulation; Tráfego aéreo (segurança)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Vismari, L. F. (2007). Vigilância dependente automática no controle de tráfego aéreo: avaliação de risco baseada em modelagem em redes de Petri fluidas e estocásticas. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/3/3141/tde-08012008-153718/ ;

Chicago Manual of Style (16th Edition):

Vismari, Lúcio Flávio. “Vigilância dependente automática no controle de tráfego aéreo: avaliação de risco baseada em modelagem em redes de Petri fluidas e estocásticas.” 2007. Masters Thesis, University of São Paulo. Accessed March 06, 2021. http://www.teses.usp.br/teses/disponiveis/3/3141/tde-08012008-153718/ ;.

MLA Handbook (7th Edition):

Vismari, Lúcio Flávio. “Vigilância dependente automática no controle de tráfego aéreo: avaliação de risco baseada em modelagem em redes de Petri fluidas e estocásticas.” 2007. Web. 06 Mar 2021.

Vancouver:

Vismari LF. Vigilância dependente automática no controle de tráfego aéreo: avaliação de risco baseada em modelagem em redes de Petri fluidas e estocásticas. [Internet] [Masters thesis]. University of São Paulo; 2007. [cited 2021 Mar 06]. Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-08012008-153718/ ;.

Council of Science Editors:

Vismari LF. Vigilância dependente automática no controle de tráfego aéreo: avaliação de risco baseada em modelagem em redes de Petri fluidas e estocásticas. [Masters Thesis]. University of São Paulo; 2007. Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-08012008-153718/ ;

30. Alexandre Roberto dos Passos. Modelagem e análise do processo de desenvolvimento de software utilizando redes de Petri.

Degree: 2008, Pontifícia Universidade Católica do Paraná

 O mercado de software está a cada dia se aprimorando, trazendo consigo novas ferramentas e novas formas de se administrar empresas. Com foco centrado no… (more)

Subjects/Keywords: Engenharia de produção - Dissertações; Software - Desenvolvimento; Petri, Redes de; Production engineering; Computer software; Petri nets; ENGENHARIA DE PRODUCAO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Passos, A. R. d. (2008). Modelagem e análise do processo de desenvolvimento de software utilizando redes de Petri. (Thesis). Pontifícia Universidade Católica do Paraná. Retrieved from http://www.biblioteca.pucpr.br/tede//tde_busca/arquivo.php?codArquivo=1206

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Passos, Alexandre Roberto dos. “Modelagem e análise do processo de desenvolvimento de software utilizando redes de Petri.” 2008. Thesis, Pontifícia Universidade Católica do Paraná. Accessed March 06, 2021. http://www.biblioteca.pucpr.br/tede//tde_busca/arquivo.php?codArquivo=1206.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Passos, Alexandre Roberto dos. “Modelagem e análise do processo de desenvolvimento de software utilizando redes de Petri.” 2008. Web. 06 Mar 2021.

Vancouver:

Passos ARd. Modelagem e análise do processo de desenvolvimento de software utilizando redes de Petri. [Internet] [Thesis]. Pontifícia Universidade Católica do Paraná; 2008. [cited 2021 Mar 06]. Available from: http://www.biblioteca.pucpr.br/tede//tde_busca/arquivo.php?codArquivo=1206.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Passos ARd. Modelagem e análise do processo de desenvolvimento de software utilizando redes de Petri. [Thesis]. Pontifícia Universidade Católica do Paraná; 2008. Available from: http://www.biblioteca.pucpr.br/tede//tde_busca/arquivo.php?codArquivo=1206

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

[1] [2] [3] [4] [5] [6]

.