Рассматриваются формализованные модели и методы решения взаимосвязанных задач синтеза програшного и информационного обеспечения модульных систем обработки данных. В качестве формальных моделей взаимодействия потоков информации в сложных системах обработки данных с конкурирующими событиями и наличием технологических ограничений используются сети Петра. Основным критерием синтеза оптимальных модульных систем обработки данных является минимум общего времени обмена между оперативной в внешней памятью ЭВМ.