Clase Red de Petri para Usos de Recursos Binarios Ordenados

Resumen

La prevención/evitación de los bloqueos mutuos es un dominio de investigación activo que exige aplicar diversas pol´ıticas de control para hacer frente a este problema. En este artıculo presentamos una subclase de Red de Petri especializada llamada Clase red de petri para usos de recursos binarios ordenados (BORPN) y sus principales propiedades estructurales. En esencia se trata de una clase ordinaria construida a partir de diversas máquinas de estados que comparten recursos unitarios en forma compleja, lo que permite bifurcación y procesos de union. Su estructura reducida da ventajas que permiten el an´alisis de todo el comportamiento del sistema, siendo una tarea prohibitiva para grandes sistemas debido a la complejidad como los algoritmos de enrutamiento.