Výsledky vyhledávání - "Redes de Petri Temporizadas"

Uma abordagem baseada em Redes de Petri para Modelagem, Análise e Simulação de Cenários de Vídeo Games Singleplayer e Multiplayer

Autor: Franciny Medeiros Barreto

Publikováno v: Repositório Institucional da UFU
Universidade Federal de Uberlândia (UFU)
instacron:UFU

Este trabalho tem como objetivo apresentar uma abordagem para a modelagem e análise formal de cenários de vídeo games, usando para isso o formalismo das redes de Petri. Nesta pesquisa são considerados jogos com um único jogador (singleplayer) e

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3700851837671ed68f26847ee08c789c
https://doi.org/10.14393/ufu.te.2020.754

Zobrazit plný text záznamu

Dissertation/ Thesis

Modelo de simulação computacional Para análise da qualidade de serviço de uma solução de integração de reserva de viagens utilizando redes de Petri temporizadas

Autor: Silveira, Francisco da

Publikováno v: Repositório Institucional da UNIJUIUniversidade Regional do Noroeste do Estado do Rio Grande do SulUNIJUI.

O mercado dinâmico e altamente competitivo faz com que as empresas se esforcem na busca pela qualidade, condição fundamental para uma organização que visa expandir seus negócios. Com isso, a Tecnologia de Informação, tornou-se um importante d

Externí odkaz: http://bibliodigital.unijui.edu.br:8080/xmlui/handle/123456789/4684

Zobrazit plný text záznamu

Dissertation/ Thesis

Desenvolvimento de um modelo computacional para simulação do comportamento de uma solução de integração na Administração Pública de Huelva (Espanha) utilizando Rede de Petri Temporizada

Autor: Welter, Franciéli Cristina

Publikováno v: Repositório Institucional da UNIJUIUniversidade Regional do Noroeste do Estado do Rio Grande do SulUNIJUI.

As empresas, em seus processos de negócio desenvolvem ou compram aplicações que servem de base para apoiar a tomada de decisões e também para aperfeiçoar seus processos de negócio. Estas aplicações, que são desenvolvidas ou adquiridas pelas

Externí odkaz: http://bibliodigital.unijui.edu.br:8080/xmlui/handle/123456789/4407

Zobrazit plný text záznamu

Dissertation/ Thesis

Modelagem Computacional e Simulação do Comportamento de uma Solução de Integração no Contexto Acadêmico da Unijuí Utilizando Redes de Petri Coloridas e Temporizadas

Autor: Kraisig, Adriana Rosélia

Publikováno v: Repositório Institucional da UNIJUIUniversidade Regional do Noroeste do Estado do Rio Grande do SulUNIJUI.

Frequentemente, as empresas adquirem ou desenvolvem aplicações para apoiar a tomada de decisões e aperfeiçoar seus processos de negócio. Estas aplicações compõe o ecossistema de software, que geralmente é heterogêneo e ainda são desenvolvi

Externí odkaz: http://bibliodigital.unijui.edu.br:8080/xmlui/handle/123456789/4359

Zobrazit plný text záznamu

Estimación de estados en redes de Petri temporizadas

Autor: Wang, Xu, Mahulea, Cristian, Silva Suárez, Manuel

Publikováno v: Zaguán. Repositorio Digital de la Universidad de Zaragoza
instname

Este trabajo propone un algoritmo para la estimación de estados "online" de redes de Petri temporizadas (timed Petri nets) sin conflicto (del tipo "choice-free"). Además, proporciona algunas ideas sobre cómo el procedimiento puede ser adaptado a u

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f6eb4c99bb71cfdacc1f1101578884ca
http://zaguan.unizar.es/record/6508

Zobrazit plný text záznamu

Verificação formal de sistemas discretos distribuídos.

Autor: González Del Foyo, Pedro Manuel

O presente trabalho trata da verificação e design de sistemas complexos, especificamente da verificação de sistemas de tempo real concorrentes e distribuídos. Propõe-se uma técnica enumerativa para a verificação formal de modelos que permite

Externí odkaz: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11082010-164641/

Zobrazit plný text záznamu

Dissertation/ Thesis

Verificação formal de sistemas discretos distribuídos.

Autor: Pedro Manuel González Del Foyo

Publikováno v: Biblioteca Digital de Teses e Dissertações da USPUniversidade de São PauloUSP.

Externí odkaz: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11082010-164641/

Zobrazit plný text záznamu

Dissertation/ Thesis

Estimativa de consumo de energia de c¶odigo ANSI-C para sis- temas embarcados: uma abordagem baseada em simula»c~ao estoc¶astica

Autor: Roncalli Novaes Pires Ribeiro, Angelo

Publikováno v: Repositório Institucional da UFPEUniversidade Federal de PernambucoUFPE.

Made available in DSpace on 2014-06-12T16:00:15Z (GMT). No. of bitstreams: 2 arquivo6285_1.pdf: 1527923 bytes, checksum: 78d4cb768e2160db1bd4ea015fdefa03 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue d

Externí odkaz: https://repositorio.ufpe.br/handle/123456789/2684

Zobrazit plný text záznamu

Dissertation/ Thesis

Uma metodologia para estimativa de área baseada em redes de Petri temporizadas para ambientes de sistemas de hardware/software co-design

Autor: Portela Machado, Albano

Publikováno v: Repositório Institucional da UFPEUniversidade Federal de PernambucoUFPE.

Made available in DSpace on 2014-06-12T15:58:27Z (GMT). No. of bitstreams: 2 arquivo4484_1.pdf: 6966497 bytes, checksum: 24a281b3de8ed514a81a117af5c76238 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue d

Externí odkaz: https://repositorio.ufpe.br/handle/123456789/2463

Zobrazit plný text záznamu

Nomenclatura y definiciones básicas de Redes de Petri

Autor: Sabiguero Yawelak, Ariel

Publikováno v: COLIBRI
Universidad de la República
instacron:Universidad de la República

Este reporte es un resumen de conceptos y notación empleada en el formalismo de Redes de Petri, realizado como subproducto del proyecto Clemente Estable No 4072 Modelado y construcción de una máquina paralela virtual con componentes de bajo costo.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::7235cdb6c9b7d806c453287f66932929

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání