|
Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://num-meth.srcc.msu.ru/zhurnal/tom_2005/v6r210.html
Дата изменения: Wed Jun 28 15:28:28 2006 Дата индексирования: Mon Oct 1 20:40:53 2012 Кодировка: Windows-1251 |
|
Метод автоматического построения модели параллельной программы в терминах
сетей Петри
Голенков Е.А., Соколов А.С. |
|
В статье рассматривается метод автоматического построения моделей для параллельных программ, выполняющихся в среде передачи сообщений. Предлагаемый метод позволяет строить модели параллельных программ, поток управления которых представляется в терминах сетей Петри, а описание данных и их модификация остаются в терминах исходного языка программирования. Предлагаемый метод разработан в рамках проекта создания экспериментальной среды разработки параллельных программ, использующей аппарат теории сетей Петри, и реализован в виде одной из ее подсистем. |
| Голенков Е.А., Соколов А.С. - Институт автоматики и процессов управления ДВО РАН, ул. Радио, д. 5, 690041, г. Владистовок; e-mail: also@dvo.ru |