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. | |||
Текущая версия от 15:25, 20 апреля 2012
[math]\displaystyle{ \,k }[/math]-Bounded Petri net — [math]\displaystyle{ \,k }[/math]-ограниченная сеть Петри.
Let [math]\displaystyle{ \,N }[/math] be a Petri net with initial marking [math]\displaystyle{ \,m_0 }[/math]. [math]\displaystyle{ \,N }[/math] is called [math]\displaystyle{ \,k }[/math]-bounded if the number of tokens in each place doesn't exceed [math]\displaystyle{ \,k }[/math] for any marking reachable from [math]\displaystyle{ \,m_0 }[/math].
Литература
- Евстигнеев В.А., Касьянов В.Н. Словарь по графам в информатике. — Новосибирск: Сибирское Научное Издательство, 2009.