Теория сетей Петри и моделирование систем: Пер. англ. — М.: Мир, 1984. — 264 с., ил.
В книге американского ученого изложены основные понятия я результат] теории сетей Петри, касающиеся различных аспектов вычислительной технн* и особенно систем распределенной обработки информации.
Для научных работников, аспирантов и студентов старших курсов втузов. ,
'
ПРЕДИСЛОВИЕ К РУССКОМУ ИЗДАНИЮ
В последние годы развитие вычислительной техники характеризуется не столько увеличением числа элементов, участвующих в обработке данных (будь то число функциональных блоков в процессоре или процессоров в вычислительной системе), сколько усложнением структуры их взаимосвязи, управления взаимодействием. Качественно_новый характер взаимодействия в современных вычислительных системах послужил причиной появления новых задач, связанных с анализом, моделированием и представлением причинно-следственных связей в сложных системах параллельно действующих объектов. Мощным средством решения этих задач являются сети Петри — предмет данной книги. Родившись при описании взаимодействующих автоматов, моделирующих системы _аппаратногр обеспечения, они оказались очень удобными для 'анализа и моделирования .программного обеспечения, что предопределило большой интерес к ним и быстрый прогресс в их исследовании.
Предлагаемая книга является первой переводной монографией, посвященной сетям Петри. В ней последовательно излагаются основные понятия теории сетей Петри, задачи, связанные с сетями Петри, методы их анализа. На протяжении всей книги внимание читателя акцентируется на прикладных аспектах теории сетей Петри. Автор определяет место сетей Петри в ряду формальных систем, направленных на моделирование параллельных процессов.
Книга написана просто и доходчиво, все излагаемые понятия подробно обсуждаются. В ней содержится большое число примеров, иллюстраций, упражнений и тем для серьезных исследований. Изложение ведется на должном уровне математической строгости.
Автор монографии известен как специалист в области сетей Петри, его интересы в исследовании этой области весьма многосторонни. Ему принадлежат работы как обзорного плана, так и посвященные вопросам анализа языков сетей Петри, построения иерархии моделей описания параллельных процессов и др. Работая над переводом книги, коллектив переводчиков сознавал ответственность, которую налагает на них издание рвой переводной монографии. Перевод не доставил особых рудностей. Однако над системой соответствующих русских тер-
ОГЛАВЛЕНИЕ
Предисловие к русскому изданию ............ 5
Предисловие................... 7
Глава 1. Введение................. 9
Глава 2. Основные определения............ 15
Глава 3. Сети Петри для моделирования.......... 36
Глава 4. Анализ сетей Петри............. 79
Глава 5. Сложность и разрешимость........... 114
Глава 6. Языки сетей Петри ............. 148
Глава 7. Расширенные и ограниченные модели сетей Петри ... 185
Глава 8. Модели параллельных вычислений........ 206
Обзор теории комплектов............... 231
Аннотированная библиография ............ 234
Предметный указатель................ 262
Цена: 150руб.
