info:eu-repo/semantics/article
Análisis de Sistemas de Eventos Discretos con Redes de Petri
Autor
Mata, Guelvis
Méndez, Arnaldo
Cardillo, Juan
Chacón, Edgar
Institución
Resumen
Hay un conflicto en un Sistema de Eventos Discretos (SED) cuando dos o más procesos están listos para ejecutar acciones diferentes que dependen directamente de la utilización de un recurso compartido, lo cual podría producir un estancamiento. Este artículo contiene material de Redes de Petri y establece algunas caracterizaciones para el análisis de una clase de SED. Los resultados más resaltantes establecen, bajo ciertas condiciones, la relación entre la ausencia de conflicto y la independencia de la ocurrencia de eventos. Más precisamente, se establecen desde un punto de vista teórico algunas caracterizaciones bajo estructuras de libre decisión, de libre escogencia, seguras y no bloqueadas.Palabras clave: Sistemas de Eventos Discretos, Redes de Petri, Caracterizaciones, Conflicto e Independencia.AbstractThere is a conflict in Discrete Event System (SED) when two or more processes are ready to perform different actions thatdirectly depend on the use of a shared resource, which could produce a stalemate. This article contains material Petri Nets and sets some characterizations for the analysis of a class of SED. The most striking results establish, under certain conditions, the relationship between the absence of conflict and the independence of the occurrence of events. More precisely, established from a theoretical point of view some characterizations structures under free choice, free choice, safe and not blocked.Key words: Discrete Event Systems, Petri Nets, Characterization, Conflict and Independence.