Petri net Petri net language finite automaton formal language producer/consumer problem regular expression regular language star-height висота ітерації (зіркова висота) высота итерации (звездная высота) задача о производителе и потребителе задача про постачальника та споживача конечный автомат мережа Петрі мова мережі Петрі регулярна мова регулярний вираз регулярное выражение регулярный язык сеть Петри скінченний автомат формальна мова формальный язык язык сети Петри