Показати простий запис статті
dc.contributor.author |
Лукьянова, Е.А. |
|
dc.date.accessioned |
2015-09-23T15:22:23Z |
|
dc.date.available |
2015-09-23T15:22:23Z |
|
dc.date.issued |
2012 |
|
dc.identifier.citation |
О структурних элементах компонентной сети Петри / Е.А. Лукьянова // Проблеми програмування. — 2012. — № 2-3. — С. 25-32. — Бібліогр.: 7 назв. — рос. |
uk_UA |
dc.identifier.issn |
1727-4907 |
|
dc.identifier.uri |
http://dspace.nbuv.gov.ua/handle/123456789/86583 |
|
dc.description.abstract |
Рассмотрены вопросы конструирования и работы структурных элементов компонентной сети Петри (CN-сети). Такими структурными элементами являются составные компоненты: компоненты-места и компоненты переходы. От эффективного выделения составных компонент зависит размер модели реальной системы и время на ее верификацию. |
uk_UA |
dc.description.abstract |
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. |
uk_UA |
dc.language.iso |
ru |
uk_UA |
dc.publisher |
Інститут програмних систем НАН України |
uk_UA |
dc.relation.ispartof |
Проблеми програмування |
|
dc.subject |
Теоретичні та методологічні основи програмування |
uk_UA |
dc.title |
О структурних элементах компонентной сети Петри |
uk_UA |
dc.status |
published earlier |
uk_UA |
dc.identifier.udc |
004.021: 004.312.4: 004.414.2 |
|
Файли у цій статті
Ця стаття з'являється у наступних колекціях
Показати простий запис статті