О структурних элементах компонентной сети Петри

Рассмотрены вопросы конструирования и работы структурных элементов компонентной сети Петри (CN-сети). Такими структурными элементами являются составные компоненты: компоненты-места и компоненты переходы. От эффективного выделения составных компонент зависит размер модели реальной системы и время на...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в: :Проблеми програмування
Дата:2012
Автор: Лукьянова, Е.А.
Мова:Російська
Опубліковано: Інститут програмних систем НАН України 2012
Теми:
Онлайн доступ:https://nasplib.isofts.kiev.ua/handle/123456789/86583
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:О структурних элементах компонентной сети Петри / Е.А. Лукьянова // Проблеми програмування. — 2012. — № 2-3. — С. 25-32. — Бібліогр.: 7 назв. — рос.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
Опис
Резюме:Рассмотрены вопросы конструирования и работы структурных элементов компонентной сети Петри (CN-сети). Такими структурными элементами являются составные компоненты: компоненты-места и компоненты переходы. От эффективного выделения составных компонент зависит размер модели реальной системы и время на ее верификацию. The problems of designing and work of structural elements of a component Petri net (CN-net) are considered. Such elements are composite components: components-places and components passages. The size of model of real system and time for it`s verification depends on effective allocation of composite components.
ISSN:1727-4907