Книга Структурированные системы переходов - это монография, которая описывает класс систем помеченных переходов, предназначенных для моделирования и анализа параллельных и распределенных систем, таких как компьютеры и программы с параллельной архитектурой, протоколы передачи данных и технологические процессы. Основное внимание уделяется разрешимости различных проблем, таких как ограниченность, достижимость, покрытие, неизбежность, поддержка управляющего состояния, останов и эквивалентность. Книга предназначена для научных работников, преподавателей, аспирантов и студентов, интересующихся формальными методами моделирования, анализа и верификации параллельных и распределенных систем. Она может быть использована как учебное пособие для студентов высших учебных заведений, обучающихся по специальности Прикладная математика и информатика и по направлению Прикладная математика и информатика. Книга допущена учебно-методическим советом по прикладной математике и информатике УМО по классическому университетскому образованию.
Структурированные системы переходов - это книга, которая предназначена для изучения формальных методов моделирования и анализа параллельных и распределенных систем. Она описывает класс систем помеченных переходов, которые используются для моделирования различных систем, таких как компьютеры, программы с параллельной архитектурой, протоколы передачи данных, технологические и бизнес-процессы. Книга также уделяет внимание различным проблемам, связанным с анализом корректности систем, таким как ограниченность, достижимость, покрытие, неизбежность, поддержка управляющего состояния, останов, эквивалентность и другие важные семантические и темпоральные свойства. Книга подойдет как для научных работников и преподавателей, так и для студентов, аспирантов, интересующихся формальными методами моделирования, анализа и верификации параллельных и распределенных систем. Она является учебным пособием для студентов высших учебных заведений, обучающихся по специальности Прикладная математика и информатика и по направлению Прикладная математика и информатика. Книга была допущена учебно-методическим советом по прикладной математике и информатике УМО по классическому университетскому образованию.
Монография посвящена исследованию класса систем переходов с маркировкой, которые достаточно всесторонне обеспечивают формальные методы анализа описания, также они являются основой для моделей исследования параллельных, распределённых систем как — например, компьютерных систем, комплексов с параллельной или распределенной структурой, параллельных программ, протоколов передачи данных, моделей технологических, бизнес процессов. Несмотря на это главное внимание уделено разрешению классических проблем ограничения, возможности достижения, охвата, неизбежности поддержания управляющего состояния, прерывания выполнения, эквивалентность и другие существенно важные семантические и временные свойства.
Электронная Книга «Структурированные системы переходов» написана автором Егор Кузьмин в 2006 году.
Минимальный возраст читателя: 0
Язык: Русский
ISBN: 5-9221-0692-9
Описание книги от Егор Кузьмин
В монографии рассматривается класс вполне структурированных систем помеченных переходов, представляющих собой формализм для моделирования и анализа корректности параллельных и распределенных систем, таких как вычислительные машины и комплексы с параллельной и распределённой архитектурой, параллельные программы, протоколы передачи данных, модели технологических и бизнес-процессов, при этом основное внимание уделяется разрешимости классических проблем ограниченности, достижимости, покрытия, неизбежности, поддержки управляющего состояния, останова, эквивалентности и других важных семантических и темпоральных свойств. Для научных работников, преподавателей, аспирантов и студентов, интересующихся формальными методами моделирования, анализа и верификации параллельных и распределенных систем. Допущено учебно-методическим советом по прикладной математике и информатике УМО по классическому университетскому образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по специальности 010200 «Прикладная математика и информатика» и по направлению 510200 «Прикладная математика и информатика».