Структурированные системы переходов (Егор Кузьмин). 2006г.

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

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

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