|
|
Автоматика и телемеханика, 1984, выпуск 9, страницы 157–166
(Mi at4849)
|
|
|
|
Автоматы
Система взаимосвязанных графов и моделирование дискретных процессов
В. В. Руднев Москва
Аннотация:
Рассматривается маркированная система взаимосвязанных графов (СГ) - модель, допускающая в явном виде описание таких свойств процесса, как блочность, параллелизм и иерархичность. Показывается, что по вычислению функций и представлению языков эта модель не уступает машинам Тьюринга. Показано, что такими же возможностями обладают СГ, графами которых служат обыкновенные (и даже автоматные) сети Петри.
Поступила в редакцию: 16.05.1983
Образец цитирования:
В. В. Руднев, “Система взаимосвязанных графов и моделирование дискретных процессов”, Автомат. и телемех., 1984, № 9, 157–166; Autom. Remote Control, 45:9 (1984), 1238–1246
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at4849 https://www.mathnet.ru/rus/at/y1984/i9/p157
|
| Статистика просмотров: |
| Страница аннотации: | 147 | | PDF полного текста: | 81 | | Первая страница: | 2 |
|