Операция разности для регулярных языков сетей Петри в задаче о производителе и потребителе с ограниченным буфером
Рассмотрены сеть Петри в задаче о производителе и потребителе (одной из классических задач синхронизации) с ограниченным буфером размера n и регулярные формальные языки Ln, которые она порождает. Согласно цели работы — получение регулярного выражения для разности языков Ln \ Lm, n > m — построен...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Igor Sikorsky Kyiv Polytechnic Institute
2021-09-01
|
| Series: | Sistemnì Doslìdženâ ta Informacìjnì Tehnologìï |
| Subjects: | |
| Online Access: | http://journal.iasa.kpi.ua/article/view/240011 |