Метод автоматического построения модели параллельной программы в терминах сетей Петри
Голенков Е.А., Соколов А.С.

     В статье рассматривается метод автоматического построения моделей для параллельных программ, выполняющихся в среде передачи сообщений. Предлагаемый метод позволяет строить модели параллельных программ, поток управления которых представляется в терминах сетей Петри, а описание данных и их модификация остаются в терминах исходного языка программирования. Предлагаемый метод разработан в рамках проекта создания экспериментальной среды разработки параллельных программ, использующей аппарат теории сетей Петри, и реализован в виде одной из ее подсистем.

Голенков Е.А., Соколов А.С. - Институт автоматики и процессов управления ДВО РАН, ул. Радио, д. 5, 690041, г. Владистовок;    e-mail: also@dvo.ru