Modelamento de processos digitais com redes de instâncias

Detalhes bibliográficos
Autor(a) principal: Wagner, Flavio Rech
Data de Publicação: 1984
Tipo de documento: Relatório
Idioma: por
Título da fonte: Repositório Institucional da UFRGS
Texto Completo: http://hdl.handle.net/10183/126713
Resumo: Este relatório apresenta o conceito de redes do instâncias. É mostrado que sistemas onde se desenrolam processos digitais podem ser modelados como redes de instâncias. Redes de Petri são utilizadas para descrever a estrutura de causalidade de sistemas assim modelados. O conceito de instância é generalizado para o de instância programável, para se permitir o modelamento do blocos obtidos na partição de um sistema que executa um programa qualquer (possivelmente não-sequencial). É mostrado que sistemas digitais podem ser modelados por redes de instâncias em diferentes níveis de abstração e realização.
id UFRGS-2_b131f82100aeb410c9b472ab4eba440c
oai_identifier_str oai:www.lume.ufrgs.br:10183/126713
network_acronym_str UFRGS-2
network_name_str Repositório Institucional da UFRGS
repository_id_str
spelling Wagner, Flavio Rech2015-09-14T15:59:55Z1984http://hdl.handle.net/10183/126713000102181Este relatório apresenta o conceito de redes do instâncias. É mostrado que sistemas onde se desenrolam processos digitais podem ser modelados como redes de instâncias. Redes de Petri são utilizadas para descrever a estrutura de causalidade de sistemas assim modelados. O conceito de instância é generalizado para o de instância programável, para se permitir o modelamento do blocos obtidos na partição de um sistema que executa um programa qualquer (possivelmente não-sequencial). É mostrado que sistemas digitais podem ser modelados por redes de instâncias em diferentes níveis de abstração e realização.This report presents the concept of nets of agencies. It is shown that systems, where digital processes are ocurring, can be modelled as nets of agencies. Petri nets are used to describe the structure of causality of systems modelled in this way. The concept of agency is generalized to that of programmable agencies, in order to permit the modelling of blocks obtained in the partition of systems which oxociilo programs (possibly non-sequential ones). It is shown that digital systems can be modelled by nets of agencies at different levels of abstraction and implementation.application/pdfporPGCC da UFRGSRedes : InstanciaRedes : PetriSimulacao : Redes digitaisSistemas digitaisDigital processesNets of agenciesPetri netsProgrammed SystemsProgrammes AgenciesDirect and indirect realization of nets of agenciesModelamento de processos digitais com redes de instânciasinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/reportinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT000102181.pdf.txt000102181.pdf.txtExtracted Texttext/plain25413http://www.lume.ufrgs.br/bitstream/10183/126713/2/000102181.pdf.txt3b7876a83f80fb0fe993dcf0b0e0d06fMD52ORIGINAL000102181.pdf000102181.pdfTexto completoapplication/pdf9858531http://www.lume.ufrgs.br/bitstream/10183/126713/1/000102181.pdf7eea91cc74f0f2cd9a000cee826ab238MD51THUMBNAIL000102181.pdf.jpg000102181.pdf.jpgGenerated Thumbnailimage/jpeg1125http://www.lume.ufrgs.br/bitstream/10183/126713/3/000102181.pdf.jpg18d675dbfd90e41fe8783ed025b67460MD5310183/1267132018-10-23 08:38:21.583oai:www.lume.ufrgs.br:10183/126713Repositório de PublicaçõesPUBhttps://lume.ufrgs.br/oai/requestopendoar:2018-10-23T11:38:21Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Modelamento de processos digitais com redes de instâncias
title Modelamento de processos digitais com redes de instâncias
spellingShingle Modelamento de processos digitais com redes de instâncias
Wagner, Flavio Rech
Redes : Instancia
Redes : Petri
Simulacao : Redes digitais
Sistemas digitais
Digital processes
Nets of agencies
Petri nets
Programmed Systems
Programmes Agencies
Direct and indirect realization of nets of agencies
title_short Modelamento de processos digitais com redes de instâncias
title_full Modelamento de processos digitais com redes de instâncias
title_fullStr Modelamento de processos digitais com redes de instâncias
title_full_unstemmed Modelamento de processos digitais com redes de instâncias
title_sort Modelamento de processos digitais com redes de instâncias
author Wagner, Flavio Rech
author_facet Wagner, Flavio Rech
author_role author
dc.contributor.author.fl_str_mv Wagner, Flavio Rech
dc.subject.por.fl_str_mv Redes : Instancia
Redes : Petri
Simulacao : Redes digitais
Sistemas digitais
topic Redes : Instancia
Redes : Petri
Simulacao : Redes digitais
Sistemas digitais
Digital processes
Nets of agencies
Petri nets
Programmed Systems
Programmes Agencies
Direct and indirect realization of nets of agencies
dc.subject.eng.fl_str_mv Digital processes
Nets of agencies
Petri nets
Programmed Systems
Programmes Agencies
Direct and indirect realization of nets of agencies
description Este relatório apresenta o conceito de redes do instâncias. É mostrado que sistemas onde se desenrolam processos digitais podem ser modelados como redes de instâncias. Redes de Petri são utilizadas para descrever a estrutura de causalidade de sistemas assim modelados. O conceito de instância é generalizado para o de instância programável, para se permitir o modelamento do blocos obtidos na partição de um sistema que executa um programa qualquer (possivelmente não-sequencial). É mostrado que sistemas digitais podem ser modelados por redes de instâncias em diferentes níveis de abstração e realização.
publishDate 1984
dc.date.issued.fl_str_mv 1984
dc.date.accessioned.fl_str_mv 2015-09-14T15:59:55Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/report
format report
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/126713
dc.identifier.nrb.pt_BR.fl_str_mv 000102181
url http://hdl.handle.net/10183/126713
identifier_str_mv 000102181
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv PGCC da UFRGS
publisher.none.fl_str_mv PGCC da UFRGS
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Repositório Institucional da UFRGS
collection Repositório Institucional da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/126713/2/000102181.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/126713/1/000102181.pdf
http://www.lume.ufrgs.br/bitstream/10183/126713/3/000102181.pdf.jpg
bitstream.checksum.fl_str_mv 3b7876a83f80fb0fe993dcf0b0e0d06f
7eea91cc74f0f2cd9a000cee826ab238
18d675dbfd90e41fe8783ed025b67460
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv
_version_ 1815447152921411584

Registros relacionados