View of APPLICATION OF PETRI NETS IN LOGICAL PROBLEMS SOLVING | Acta et Commentationes Exact and Natural Sciences