Главная > Разное > Теория сетей Петри и моделирование систем
<< Предыдущий параграф
Следующий параграф >>
<< Предыдущий параграф Следующий параграф >>
Макеты страниц

ПРЕДИСЛОВИЕ К РУССКОМУ ИЗДАНИЮ

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

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

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

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

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

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

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

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

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

ПРЕДИСЛОВИЕ

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

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

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

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

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

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

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

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

Благодарности

Своим появлением эта книга обязана многим людям. Тилак Агервала, Мишель Хэк, Тай-Ян Хоу, К. Маттиас Лохт, Дино Мандриоли, Джерри Ное, Гэри Натт и Вильям Риддл помогли в изложении специальных вопросов. Дж. К. Браун, К. Мани Чэнди, Джим Дэниел, Нэнси Итмен и Р. Т. Йе, а также кафедры вычислительной техники и математики Университета в Остине, шт. Техас, и Лаборатория вычислительной техники Массачусетского технологического института оказали техническую поддержку, позволившую мне найти время и средства для того, чтобы подготовить монографию.

В период написания, редактирования и корректуры источником любви и поддержки была моя жена Жанни.

Редактирование и набор с использованием ЭВМ породили при создании этой книги новые и уникальные трудности. Я признателен издательству за поддержку, терпение и разрешение всех вопросов, и особенно моему редактору, Карену Клемментсу, за мудрость и профессионализм.

Дж. Л. Питерсон

Остин, Техас

<< Предыдущий параграф Следующий параграф >>
Оглавление