Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Vogler W. — Modular Construction and Partial Order Semantics of Petri Nets
Vogler W. — Modular Construction and Partial Order Semantics of Petri Nets

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Modular Construction and Partial Order Semantics of Petri Nets

Автор: Vogler W.

Аннотация:

Petri nets are a well-known model for parallel systems, used for both applications and theoretical studies. They can be used for specification, modelling, and analysis, and offer a graphical representation and a clear view of concurrency. For the design of large systems, modular construction is indispensible, and considerable effort has been spent on studying themodular construction of Petri nets. This book studies the modular construction of nets, and in particular the top-down design of nets by action refinement. Suitable behavior descriptions are presented and special care is taken to justify these descriptions by showing that theyare necessary under reasonable specification requirements. In particular, itis shown that partial-order semantics is necessary to support action refinement.


Язык: en

Рубрика: Разное/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 1992

Количество страниц: 257

Добавлена в каталог: 29.10.2014

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2017
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте