KVN
нет описания правки
08:29
+42
19:50
+45
+31
Новая страница: «'''Помеченная сеть Петри''' (labelled Petri net) — это пара <math>(N, G)</math>, где ''N'' — сеть Петри, а ''G'' — '…»
13:56
+934
