Читать онлайн «Вполне структурированные системы помеченных переходов»

Е. В. Кузьмин В. А. Соколов ВПОЛНЕ СТРУКТУРИРОВАННЫЕ СИСТЕМЫ ПОМЕЧЕННЫХ ПЕРЕХОДОВ МОСКВА ФИЗМАТЛИТ 2005 УДК 519. 68/. 69 ББК В18 К89 К у з ь м и н Е. В. , С о к о л о в В. А. Вполне структурированные системы помеченных переходов. — М. : ФИЗМАТЛИТ, 2005. — 176 с. — ISBN 5-9221-0598-1 В монографии рассматривается класс вполне структурированных систем помеченных переходов, представляющих собой формализм для моделирования и анализа корректности параллельных и распре- делённых систем, таких как вычислительные машины и комплек- сы с параллельной и распределенной архитектурой, параллельные программы, протоколы передачи данных, модели технологических и бизнес-процессов, при этом основное внимание уделяется разрешимо- сти классических проблем ограниченности, достижимости, покрытия, неизбежности, поддержки управляющего состояния, останова, эквива- лентности и других важных семантических и темпоральных свойств. Книга предназначена для научных работников, преподавателей, аспирантов и студентов, интересующихся формальными методами мо- делирования, анализа и верификации параллельных и распределенных систем. Рис. 23. Библиогр. : 90 назв. Р е ц е н з е н т ы: доктор технических наук, профессор, главный научный сотрудник Института вычислительной математики и математической геофизики СО РАН О. Л. Бандман; лаборатория теоретического программирования Института систем информатики им. А. П. Ершова СО РАН Работа выполнена при поддержке Российского фонда фундаментальных исследований (проект 03-01-00804).  c ФИЗМАТЛИТ, 2005  c Е. В. Кузьмин, 2005 ISBN 5-9221-0598-1  c В. А. Соколов, 2005  ОГЛАВЛЕНИЕ Предисловия рецензентов . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 Предисловие авторов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 Введение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 Г л а в а 1. Вполне структурированные системы помеченных переходов . . . . . . . . . . . . . . . . . . . 17 1. 1. Предварительные сведения . . . . . . . . . . . . . . . . . . . . . . . 17 1. 1. 1. Мультимножества . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 1. 1. 2. Квазиупорядоченные множества . . . . . . . . . . . . . . . . 18 1. 1. 3. Правильный квазипорядок . . . . . . . . . . . . . . . . . . . . . 19 1. 2. Системы помеченных переходов . . . . . . . . . . . . . . . . . . . 25 1. 2. 1. Определение . . . . . . . . . . . . . . . . . . . . . . . . . . . ... . 25 1. 2. 2.