1. Понятие дискретной динамической системы
 Скачать 0.51 Mb.
|
36.Стандартная форма помеченных сетей Петри (определение). Лемма о существовании стандартной формы для любой сети Петри. Следствие.Для сопоставления друг с другом языков и классов СП полезной оказывается специальная стандартная форма помеченных сетей. Сеть, преобразованная в стандартную форму, сохраняет префиксный и терминальный языки, хотя в стандартной форме и появляются новые переходы и позиции. Помеченная сеть представлена в стандартной форме, если: 1) |I(tj)|>0 и |O(tj)|>0 для  tj T (каждый переход имеет хотя бы одну входную и выходную позицию); 2) в СП выделена специальная «включающая» позиция on с начальной маркировкой μ0(on)=1, при этом начальная маркировка всех остальных позиций равна 0; 3) терминальный язык СП всегда определяется для одной и той же терминальной маркировки μt=  =(0..0) , где п=|Р| число позиций в сети. Лемма. Для любой помеченной сети (С,Σ) и любой терминальной маркировки μt этой сети существует представленная в стандартной форме помеченная сеть (С',Σ'): L(С,Σ)=L(С',Σ'), L(С,Σ,μt)=L(С',Σ', ).Следствие. Любой язык из классов L, Lλ, L0, L0λможет быть порожден некоторой помеченной сетью в стандартной форме как ее терминальный язык для терминальной разметки μt = . Это позволяет переносить любые результаты о языках сетей, представленных в стандартной форме, на общий случай языков СП.37. Сравнение классов языков сетей Петри.
|
L0