Статкевич, В. М.2022-04-192022-04-192021Статкевич, В. М. Операция разности для регулярных языков сетей Петри в задаче о производителе и потребителе с ограниченным буфером / В. М. Статкевич // Системні дослідження та інформаційні технології : міжнародний науково-технічний журнал. – 2021. – № 2. – С. 94-112. – Бібліогр.: 9 назв.https://ela.kpi.ua/handle/123456789/46932Petri netproducer/consumer problemPetri net languageformal languageregular languagefinite automatonregular expressionArticleС. 94-112https://doi.org/10.20535/SRIT.2308-8893.2021.2.08519.711.7+519.713