Safe Petri net

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

Safe Petri net --- безопасная сеть Петри.

A Petri net is called safe if it is 1-bounded.