Análisis de Sistemas de Eventos Discretos con Redes de Petri Analysis of Discrete Event Systems with Petri Nets

There is a conflict in Discrete Event System (SED) when two or more processes are ready to perform different actions that directly 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.