Моделирование и синтез автоматизированных систем на базе сетей Петри

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