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