4635
правок
K-Bounded Petri net: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
Glk (обсуждение | вклад) (Новая страница: «'''<math>k</math>-Bounded Petri net''' --- <math>k</math>-ограниченная сеть Петри. Let <math>N</math> be a Petri net with initial marking <math…») |
KEV (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
'''<math>k</math>-Bounded Petri net''' - | '''<math>\,k</math>-Bounded Petri net''' — [[k-ограниченная сеть Петри|<math>\,k</math>-ограниченная сеть Петри]]. | ||
Let <math>N</math> be a Petri net with initial marking <math>m_0</math>. | Let <math>\,N</math> be a [[Petri net]] with initial marking <math>\,m_0</math>. | ||
<math>N</math> is called '''<math>k</math>-bounded''' if the number of tokens in each place | <math>\,N</math> is called '''<math>\,k</math>-bounded''' if the number of tokens in each place | ||
doesn't exceed <math>k</math> for any marking reachable from <math>m_0</math>. | doesn't exceed <math>\,k</math> for any marking reachable from <math>\,m_0</math>. | ||
==Литература== | |||
* Евстигнеев В.А., Касьянов В.Н. Словарь по графам в информатике. — Новосибирск: Сибирское Научное Издательство, 2009. | |||