Регулярні вирази для деяких мов мереж Петрі в задачі про постачальника та споживача

• Дата: 2020
• Автор: Statkevych, Vitalii M.
• Формат: Стаття
• Мова: rus
• Опубліковано: The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2020
• Теми: Petri net; producer/consumer problem; Petri net language; formal language; regular language; finite automaton; regular expression; star-height; сеть Петри; задача о производителе и потребителе; язык сети Петри; формальный язык; регулярный язык; конечный автомат; регулярное выражение; высота итерации (звездная высота); мережа Петрі; задача про постачальника та споживача; мова мережі Петрі; формальна мова; регулярна мова; скінченний автомат; регулярний вираз; висота ітерації (зіркова висота)
• Онлайн доступ: http://journal.iasa.kpi.ua/article/view/221359
• Назва журналу: System research and information technologies

We consider a Petri net for the producer/consumer problem (one of the classical synchronization problems) with the bounded buffer of size n and the regular formal languages Ln, generated by the net. We propose regular expressions denoting these languages in the recursive form, in case of the bounded...