Аннотация

ДЖ. ПИТЕРСОН

Теория сетей Петри и моделирование систем

JAMES L. PETERSON

The University of Texas at Austin

PETRI NET THEORY AND THE MODELING OF SYSTEMS

PRENTICE-HALL, INC., ENGLEWOOD CLIFFS, N. J.

1981

JUK. ПИТЕРСОН

ТЕОРИЯ

сетей петри

И МОДЕЛИРОВАНИЕ СИСТЕМ

Перевод с английского М. В. Горбатовой, канд. техн. наук В. Л. Торхова, канд. техн. наук В. Н. Четверикова

под редакцией д-ра техн. наук В. А. Горбатова

МОСКВА «МИРН984

ББК 32.816

тзз

УДК 519.95

Питерсон Дж.

ТЗЗ Теория сетей Петри и моделирование систем: Пер. с англ. — М.: Мир, 1984. — 264 с., ил.

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

Для научных работников, аспирантов и студентов старших курсов втузов.

2405000000-227 ББК 32.816

U    163-84, ч. 1 -

041(01)-84    6Ф0*1

Редакция литературы по новой технике

<£) Prentice-HaH, Inc., Englewood Cliffs, 1981 © Перевод на русский язык, «Мир», 1984

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

Предлагаемая книга является первой переводной монографией, посвященной сетям Петри. В ней последовательно излагаются основные понятия теории сетей Петри, задачи, связанные с сетями Петри, методы их анализа. На протяжении всей книги внимание читателя акцентируется на прикладных аспектах теории сетей Петри. Автор определяет место сетей Петри в ряду формальных систем, направленных на моделирование параллельных процессов.

Книга написана просто и доходчиво, все излагаемые понятия подробно обсуждаются. В ней содержится большое число примеров, иллюстраций, упражнений и тем для серьезных исследований. Изложение ведется на должном уровне математической строгости.

Автор монографии известен как специалист в области сетей Петри, его интересы в исследовании этой области весьма многосторонни. Ему принадлежат работы как обзорного плана, так и посвященные вопросам анализа языков сетей Петри, построения иерархии моделей описания параллельных процессов и др.

Работая над переводом книги, коллектив переводчиков осознавал ответственность, которую налагает на них издание первой переводной монографии. Перевод не доставил особых трудностей. Однако над системой соответствующих русских тер-

минов, отвечающей требованиям концептуального единства всей терминологии, пришлось немало потрудиться.

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

Перевод монографии выполнен М. В. Горбатовой (гл. 1—3), канд. техн. наук В. Л. Торховым (предисловие, гл. 4—€), канд. техн. наук В. Н. Четвериковым (гл. 7, 8, аннотированная библиография, предметный указатель).

В. А. Горбатов

Теория сетей Петри значительно развилась со времени ее рождения в диссертации д-ра Петри в 1962 г. Однако многие из публикаций по сетям Петри труднодоступны, поскольку оформлены, как правило, в виде отчетов и диссертаций и рассеяны по многим источникам. И тем не менее, несмотря на трудность изучения сетей Петри, использование их постоянно возрастает. Мы приходим к выводу, что, по-видимому, каждый специалист в области вычислительной техники должен знать азы теории сетей Петри.

Эта книга собрала основные результаты теории сетей Петри, представив их в последовательном и согласованном виде. Представление и организация материала удобны и для индивидуального изучения специалистом-практиком, и для организованного изучения аспирантами, специализирующимися в области вычислительной техники. Теорию сетей Петри можно применить в безмерно большом множестве областей (как показано в гл. 3), знание основ теории сетей Петри становится обязательным для специалистов по вычислительной технике, системному анализу и др.

Для студентов и специалистов, желающих немедленно найти практическое применение сетям Петри, трудно переоценить гл. 1—4 и 7. Они вполне приемлемы для самостоятельного изучения и обеспечивают достаточный фундамент для того, чтобы сделать возможным немедленное использование сетей Петри в самых различных областях.

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

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

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

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

Сообщим, что д-р Петри продолжает свои исследования. То, что мы называем здесь теорией сетей Петри, в его терминологии называется специальной теорией сетей, являющейся только частью его общей теории сетей [243—245, 247].