Redes de Petri: una herramienta para la validación de procedimientos

When designing a procedure, there is uncertainty if it will allow, after its application, to obtain the expected results. It is very frequent that during its application, coordination difficulties arise between the different activities, tasks and (or) steps. This article presents an alternative procedure validation through the use of Petri Nets, which through its analysis techniques allows knowing the feasibility of applying the selected procedure. As an example, the validation of a procedure is shown, concluding that it is valid.