Алгебраический метод решения проблемы отсутствия тупиковых разметок в сетях Петри

Рассматривается алгебраический подход к анализу сетей Петри на отсутствие достижимых тупиковых разметок. Приводятся достаточные условия отсутствия достижимых тупиковых разметок в неординарных сетях Петри с ингибиторными дугами.