Приведены принципы организации гибких автоматизированных производственных систем (ГАПС) в химической и смежных отраслях промышленности. Рассмотрены их структура и способы функционирования. Изложены вопросы моделирования и структурно-параметрического синтеза ГАПС. Описаны цели и задачи управления гибкими автоматизированными производственными системами. Для студентов химико-технологических вузов. Может быть полезна инженерно-техническим и научным работникам химической и смежных отраслей промышленности.

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

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