Метод трансляції SDL-специфікацій за допомогою мереж Петрі високого рівня

dc.contributor.author	Заболотна, А.С.
dc.date.accessioned	2015-06-13T14:30:59Z
dc.date.available	2015-06-13T14:30:59Z
dc.date.issued	2012
dc.identifier.citation	Метод трансляції SDL-специфікацій за допомогою мереж Петрі високого рівня / А.С. Заболотна // Управляющие системы и машины. — 2012. — № 1. — С. 55-65. — Бібліогр.: 9 назв. — укр., рос.	uk_UA
dc.identifier.issn	0130-5395
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/83041
dc.description.abstract	Рассмотрены SDL-спецификации распределенных систем с динамическим порождением и уничтожением экземпляров процессов. Для них предложен метод трансляции и модифицированные раскрашенные сети Петри, в которых используется концепция интервального времени.	uk_UA
dc.description.abstract	SDL-specifications of the distributed systems with dynamic generation end the removing of the examples of the process are considered. A method of the translation аnd the modified coloured Petri nets in with the concepts of the interval time is used are suggested for them.	uk_UA
dc.description.abstract	Розглянуто SDL-специфікації розподілених систем з динамічним породженням та видаленням примірників процесів. Для них запропоновано метод трансляції в модифіковані кольорові мережі Петрі, в яких використовується концепція інтервального часу.	uk_UA
dc.language.iso	uk	uk_UA
dc.publisher	Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України	uk_UA
dc.relation.ispartof	Управляющие системы и машины
dc.subject	Программная инженерия и программные средства	uk_UA
dc.title	Метод трансляції SDL-специфікацій за допомогою мереж Петрі високого рівня	uk_UA
dc.title.alternative	A Method of the Translation of SLD-Specifications Using the High-Level Petri Nets	uk_UA
dc.title.alternative	Метод трансляции SDL-спецификаций с помощью сетей Петри высокого уровня	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	51.681.3