| Аннотацiя: |
Рассмотрены сеть Петри в задаче о производителе и потребителе(одной из классических задач синхронизации) с ограниченным буфером раз мера n и регулярне формальне язики nL, которые она порождает.
Розглянуто мережу Петрі в задачі про постачальника та споживача (одній з класичних задач синхронізації) з обмеженим буфером розміру n і регулярні формальні мови Ln, які вона породжує. Згідно з метою роботи — отримання регулярного виразу для різниці мов Ln \ Lm, n > m — побудовано скінченний автомат, який допускає різницю вказаних мов, методом вилучення вер¬шин отримано регулярний вираз в рекурсивній формі. Основний результат проілюстровано на прик¬ладах. Як доповнення розглянуто задачу з двома постачальниками та двома споживачами з об¬меженим буфером розміру 1. Побудовано граф досяжності та запропоновано конструкцію для отримання регулярного виразу. У випадку задачі з двома постачальниками та одним споживачем, а також задачі з одним постачальником та двома споживачами вказано явні формули. |
