Моделирование параллельных процессов. Сети Петри.

Аннотация

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