Переход устойчивый

Материал из WikiGrapp

Переход в сети Петри называется устойчивым (persistent transition), если при любом состоянии сети (любой ее разметке, достижимой от начальной), в котором он может сработать, никакой другой переход не может, сработав, лишить его этой возможности.

Литература

  • Касьянов В.Н., Касьянова Е.В. Теория вычислений. — Новосибирск: ИНЦ НГУ, 2018.
  • Котов В.Е. Сети Петри. — М.: Наука, 1984.