Safe Petri net

Материал из WikiGrapp

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

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

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

Источник — http://pco.iis.nsk.su/grapp/index.php?title=Safe_Petri_net&oldid=8732