Профиль » Публикация

Поделиться публикацией:

Опубликовано 2005-00-00 ЖурналВычислительные методы и программирование

Метод автоматического построения модели параллельной программы в терминах сетей Петри

Голенков Е.А., Соколов А.С.

Голенков Е.А., Соколов А.С. Метод автоматического построения модели параллельной программы в терминах сетей Петри // Вычислительные методы и программирование.- 2005.- Т.6.- C.77-82.

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