K-Bounded Petri net

Материал из WikiGrapp
Версия от 13:54, 24 февраля 2011; Glk (обсуждение | вклад) (Новая страница: «'''<math>k</math>-Bounded Petri net''' --- <math>k</math>-ограниченная сеть Петри. Let <math>N</math> be a Petri net with initial marking <math…»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)

[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].