KEV
нет описания правки
15:25
+307
Glk
Новая страница: «'''<math>k</math>-Bounded Petri net''' --- <math>k</math>-ограниченная сеть Петри. Let <math>N</math> be a Petri net with initial marking <math…»
13:54
+348