Modelamento de processos digitais com redes de instâncias

Abstract

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.

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.