Microsoft Word - Mod Petri2t.doc


Ìàòåìàòè÷åñêèå âîïðîñû êèáåðíåòèêè è âû÷èñëèòåëüíîé òåõíèêè 26, 2006, 48–53. 

1 The research is supported partly by INTAS: 04-77-7173 project, http://www.intas.be and State Principal Program 
of Armenia on Scientific Computations. 

 
48 

 

 
 

Модифицированные сети Петри, 
описание поведения с помощью формальных языков 

 
 

Гоар Р. Петросян  
 

Ереванский Государственный Университет 
 

Аннотация 

В работе вводится понятие модифицированной сети Петри. По заданной КС-
грамматике (контекстно-свободной грамматике) строится эквивалентная по порождаемому 
языку модифицированная сеть Петри, являющася расширением стандартной сети Петри с 
помощью сдерживаюших позиций. 

 
 

 
Литература 

 
[1] Питерсон Д., “Теория сетей Петри и моделирование систем”. Москва, Мир, 1984г. 
[2] Котов В. Е. “ Сети Петри”. Москва, Мир, 1984г. 
[3] Ахо А., Ульман Д., “Теория синтаксического анализа, перевода и компиляции”. 

Перевод  под редакцией Курочкина, Т1-Т3. 
[4] Гордеев А. В., Молчанов А. Ю., “Системное программное обеспечение”. Учебник, 

Санкт-Петербург, 2002г. 
 
 

ä»ïñÇÇ Ó¨³÷áËí³Í ó³Ýó»ñ, í³ñùÇ Ýϳñ³·ÇñÁ ýáñÙ³É É»½áõÝ»ñÇ 
û·ÝáõÃÛ³Ùµ  

 
¶. ä»ïñáëÛ³Ý 

 
²Ù÷á÷áõÙ 

 
²ß˳ï³ÝùáõÙ ÙïóíáõÙ »Ý ä»ïñÇÇ Ó¨³÷áËí³Í ó³Ýó»ñ ѳëϳóáõÃÛáõÝÝ»ñÁ: îñí³Í 
β - ù»ñ³Ï³ÝáõÃÛ³Ùµ (ÏáÝï»ÏëïÇó - ³ÝÏ³Ë ù»ñ³Ï³ÝáõÃÛáõÝ) ϳéáõóíáõÙ ¿ ¹áõñë 
µ»ñí³Í É»½íáí ѳٳñÅ»ù ä»ïñÇÇ Ó¨³÷áËí³Í ó³Ýó, áñÁ ѳݹÇë³ÝáõÙ ¿ ä»ïñÇÇ 
ëï³Ý¹³ñï ó³ÝóÇ ÁݹɳÛÝáõÙÁ ë³Ñٳݳ÷³ÏáÕ ¹Çñù»ñÇ û·ÝáõÃÛ³Ùµ: