Alive Petri net

Материал из WikiGrapp
Перейти к:навигация, поиск

Alive Petri netживая сеть Петри.

A Petri net N is called alive iff whenever m is a reachable marking for N and t is a transition of N, it is possible for N to reach, starting from m, a marking in which t is enabled.