Petri nets: atool for the validation of procedures

Authors

Keywords:

Procedure, Validation, Petri nets

Abstract

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

2025-01-06

Similar Articles

You may also start an advanced similarity search for this article.