Построение метамодели "асинхронный процесс". Граф исходного процесса с репозицией. Особенности процесса редукции, таблица векторов. Предметная интерпретация асинхронного процесса. Свойства сети Петри: ограниченность; безопасность; живость; устойчивость.
08.04.2011 |
Теория вычислительных процессов |
Программирование, компьютеры и кибернетика |
Язык: русский |
Просмотры: 42