Analysis of conflict on discrete event dynamic systems using Petri nets

https://doi.org/10.5281/zenodo.7487372

• Marcia Caicedo Instituto de Postgrado, Universidad Técnica de Manabı́.
• Guelvis Mata Facultad de Ciencias, Departamento de Matemáticas, Universidad de Los Andes.
• Bladismir Ruiz Instituto de Ciencias Básicas, Universidad Técnica de Manabı́.

Keywords: Discrete event systems, Petri nets, conflict

Abstract

This manuscript considers the Petri nets model as a useful tool for conflict analysis in dynamic systems of discrete events. In particular, we treat conflict based on the structure of the network beyond its dynamic behavior, establishing theoretical arguments focused on the “ independence ” between events. More precisely, the conjugation between some classes of networks such as secure, free-choice, live, and free-choice networks characterize the absence of conflicts in the class of systems named above.