| Аннотацiя: |
Рассмотрены сеть Петри в задаче о производителе и потребителе (одной из классических задач синхронизации) с ограниченным буфером раз-мера n и регулярные формальные языки nL, которые она порождает. Для этих языков найдены регулярные выражения в рекурсивном виде, а в случаях ограниченного буферара змераот 1 до 3 - в виде явных формул. По графу до-стижимости построен конечный автомат, применен метод последовательного удаления вершин. |
