Glk
Новая страница: «'''Safe Petri net''' --- безопасная сеть Петри. A ''Petri net'' is called '''safe''' if it is ''1-bounded''.»
13:18
+129