Кратко излагаются вопросы построения формальных динамических моделей процессов, протекающих асинхронно и с взаимным перекрытием во времени , т. е. асинхронных параллельных процессов. Рассматриваемые процессы могут относиться к различным прикладным областям, например, к вычислениям, управлению, интерфейсам, программированию, робототехнике или искусственному интеллекту. Подчеркивается неразрывная связь структурной модели, отражающей статические свойства объекта, и динамической (поведенческой) модели. Такой двуединый фундаментальный подход пригоден на всех этапах проектирования систем — спецификации, анализа, реализации и верификации. Пособие не претендует на полноту освещения всех проблем и технологий проектирования, но помогает выработке навыков методологии модельного мышления и эффективного решения прикладных задач. Представленный подход позволяет перекинуть мосты между абстрактной и физической составляющими моделируемых процессов и потому применим как для программных, так и аппаратных реализаций. Пособие содержит компилятивный материал наряду с результатами авторов. Книга такого типа публикуется впервые. Предназначено для студентов высших учебных заведений, обучающихся по магистерской программе направления подготовки магистров «Системный анализ и управление», может быть также использовано при обучении студентов направлений подготовки «Управление в технических системах», «Автоматизация технологических процессов и производств», «Информатика и вычислительная техника», «Информационные системы и технологии», «Прикладная информатика », «Программная инженерия», «Прикладная математика», а также аспирантами и слушателями факультетов повышения квалификации преподавателей..

Печатается по решению редакционно-издательского совета Санкт-Петербургского государственного политехнического университета.

• ОГЛАВЛЕНИЕ
• Сокращения, принятые в тексте
• Введение
• 1. Асинхронный процесс
• 2. Сети Петри
• 3. Дугие сетевые модели
• 4. Динамическая логика
• 5. Параллельное программирование
• 6. Принципы аппаратной реализации
• 7. Протоколы информационного обмена
• 8. Примеры решения прикладных задач
• Библиографический список