Petri nets: atool for the validation of procedures
Keywords:
Procedure, Validation, Petri netsAbstract
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.
Downloads
Published
Issue
Section
License
Copyright (c) 2025 Ciencias Holguín

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.