Prof

EXTENSIONES DE LAS REDES DE PETRI: TEMPORIZACIÓN
PROGRAMACIÓN CONCURRENTE MASTER EN COMPUTACIÓN DEPARTAMENTO DE ELECTRÓNICA Y COMPUTADORES UNIVERSIDAD DE CANTABRIA CURSO 2010/11
Programación Concurrente: Redes de Petri Mercedes Granda Departamento de Electrónica y Computadores 1

1

REDES DE PETRI: EXTENSIONES
Se han introducido extensiones en las redes de Petri para incrementar lapotencia de modelado o para conseguir descripciones más condensadas de la herramienta. Las extensiones más importantes son: • Redes de Petri generalizadas (RPG) • Red de Petri con capacidad limitada (RPC) • Redes de Petri con transiciones no estándar • Redes de Petri coloreadas • Red de Petri con arcos inhibidores (RPAI) • Redes de Petri temporizadas
Programación Concurrente: Redes de Petri MercedesGranda Departamento de Electrónica y Computadores 2

2

REDES DE PETRI: EXTENSIONES
• Redes de Petri generalizadas (RPG) son aquellas en las que se introduce un
peso en los arcos. Un arco no etiquetado es de valoración unidad.

• Redes de Petri con capacidad limitada (RPC) son aquellas en la que la
capacidad para contener testigos de cada plaza está limitada a un valor máximo. Unatransición estará habilitada sólo si en todos los lugares de entrada hay marcas y si el marcado que resulte de su disparo no viola las restricciones de capacidad establecidas.

• Redes de Petri con transiciones no estándar son aquellas en las que se
modifica la regla de disparo de las transiciones.

• Redes de Petri coloreadas son aquellas en las que cada arco de entrada a las
transiciones y cadatestigo pueden llevar asociado un color que los diferencie de otros. A cada lugar y a cada transición se les asigna unos conjuntos de colores. Los colores de las marcas pueden ser modificados por el disparo de una transición. La regla de disparo depende del color de los testigos y se puede incluir en el modelado del evento el conocimiento del origen del testigo. Las redes de Petri coloreadas seutilizan para condensar la descripción y el análisis de sistemas en los que se identifican diferentes subsistemas independientes pero que operan en paralelo o de forma síncrona.
Programación Concurrente: Redes de Petri Mercedes Granda Departamento de Electrónica y Computadores 3

Algunos autores han introducido extensiones estructurales a las redes de Petri ordinarias para incrementar la potencia demodelado o para conseguir descripciones más condensadas de la herramienta. Las extensiones más importantes son: ●Redes de Petri generalizadas (RPG) son aquellas en las que se introduce un peso en los arcos. En las redes de Petri estándar se permite que más de un arco conecte una plaza con una transición o una transición con una plaza. La existencia de varios arcos entre las plazas y lastransiciones complica la representación gráfica de la red de Petri si la multiplicidad de los arcos es grande. Para simplificar el dibujo de redes de Petri complicadas, se permite una representación más compacta de los arcos múltiples que consiste en conectar los nudos de la red con un arco etiquetado con un entero natural, I(p,t) u O(t,p), que indica su multiplicidad y que se denomina peso o valoracióndel arco. Por convenio, un arco no etiquetado es de valoración unidad. ● Red de Petri con capacidad limitada (RPC) es aquella en la que la capacidad de para contener testigos de cada plaza está limitada a un valor máximo. Una transición estará habilitada sólo si en todos los lugares de entrada hay marcas y si el marcado que resulte de su disparo no viola las restricciones de capacidad establecidas.● Red de Petri con arcos inhibidores (RPAI) es aquella a la que se añaden arcos inhibidores. Un arco inhibidor conecta una plaza a una transición (partiendo siempre de la plaza) y se representa por una línea que termina con un círculo, en vez de con una flecha, en la transición. La condición de disparo de una transición se generaliza diciendo que una transición está habilitada cuando todas sus...