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

• Main Author: Statkevych, Vitalii
• Format: Article
• Language: rus
• Published: The National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute" 2021
• Subjects: мережа Петрі; задача про постачальника та споживача; мова мережі Петрі; формальна мова; регулярна мова; скінченний автомат; регулярний вираз; сеть Петри; задача о производителе и потребителе; язык сети Петри; формальный язык; регулярный язык; конечный автомат; регулярное выражение; Petri net; producer/consumer problem; Petri net language; formal language; regular language; finite automaton; regular expression
• Online Access: http://journal.iasa.kpi.ua/article/view/240011

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. The objective of this paper is to obtain a regular expression for the set difference of languages Ln...