Show simple item record

dc.contributor.authorWagner, Flavio Rechpt_BR
dc.date.accessioned2015-09-14T15:59:55Zpt_BR
dc.date.issued1984pt_BR
dc.identifier.urihttp://hdl.handle.net/10183/126713pt_BR
dc.description.abstractEste 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.pt_BR
dc.description.abstractThis 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.en
dc.format.mimetypeapplication/pdf
dc.language.isoporpt_BR
dc.publisherPGCC da UFRGSpt_BR
dc.rightsOpen Accessen
dc.subjectRedes : Instanciapt_BR
dc.subjectDigital processesen
dc.subjectNets of agenciesen
dc.subjectRedes : Petript_BR
dc.subjectPetri netsen
dc.subjectSimulacao : Redes digitaispt_BR
dc.subjectProgrammed Systemsen
dc.subjectSistemas digitaispt_BR
dc.subjectProgrammes Agenciesen
dc.subjectDirect and indirect realization of nets of agenciesen
dc.titleModelamento de processos digitais com redes de instânciaspt_BR
dc.typeRelatório técnico e de pesquisapt_BR
dc.identifier.nrb000102181pt_BR


Files in this item

Thumbnail
   

This item is licensed under a Creative Commons License

Show simple item record