Nomenclatura y definiciones básicas de Redes de Petri

Abstract

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. Es el resultado de la primer etapa del mismo en la que se realizó un estudio de herramientas matemáticas adecuadas para el modelado de performance. El presente documento introduce someramente notación y algunos aspectos de interés de las redes de Petri. El lector interesado en profundizar en el estudio de las mismas podrá continuar su estudio en cualquiera de las referencias bibliográficas que se presentan en este trabajo.