Метод трансляції SDL-специфікацій за допомогою мереж Петрі високого рівня
Рассмотрены SDL-спецификации распределенных систем с динамическим порождением и уничтожением экземпляров процессов. Для них предложен метод трансляции и модифицированные раскрашенные сети Петри, в которых используется концепция интервального времени. SDL-specifications of the distributed systems wit...
Gespeichert in:
| Veröffentlicht in: | Управляющие системы и машины |
|---|---|
| Datum: | 2012 |
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України
2012
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/83041 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Метод трансляції SDL-специфікацій за допомогою мереж Петрі високого рівня / А.С. Заболотна // Управляющие системы и машины. — 2012. — № 1. — С. 55-65. — Бібліогр.: 9 назв. — укр., рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862752823837458432 |
|---|---|
| author | Заболотна, А.С. |
| author_facet | Заболотна, А.С. |
| citation_txt | Метод трансляції SDL-специфікацій за допомогою мереж Петрі високого рівня / А.С. Заболотна // Управляющие системы и машины. — 2012. — № 1. — С. 55-65. — Бібліогр.: 9 назв. — укр., рос. |
| collection | DSpace DC |
| container_title | Управляющие системы и машины |
| description | Рассмотрены SDL-спецификации распределенных систем с динамическим порождением и уничтожением экземпляров процессов. Для них предложен метод трансляции и модифицированные раскрашенные сети Петри, в которых используется концепция интервального времени.
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.
Розглянуто SDL-специфікації розподілених систем з динамічним породженням та видаленням примірників процесів. Для них запропоновано метод трансляції в модифіковані кольорові мережі Петрі, в яких використовується концепція інтервального часу.
|
| first_indexed | 2025-12-07T21:18:48Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-83041 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0130-5395 |
| language | Ukrainian |
| last_indexed | 2025-12-07T21:18:48Z |
| publishDate | 2012 |
| publisher | Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України |
| record_format | dspace |
| spelling | Заболотна, А.С. 2015-06-13T14:30:59Z 2015-06-13T14:30:59Z 2012 Метод трансляції SDL-специфікацій за допомогою мереж Петрі високого рівня / А.С. Заболотна // Управляющие системы и машины. — 2012. — № 1. — С. 55-65. — Бібліогр.: 9 назв. — укр., рос. 0130-5395 https://nasplib.isofts.kiev.ua/handle/123456789/83041 51.681.3 Рассмотрены SDL-спецификации распределенных систем с динамическим порождением и уничтожением экземпляров процессов. Для них предложен метод трансляции и модифицированные раскрашенные сети Петри, в которых используется концепция интервального времени. 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. Розглянуто SDL-специфікації розподілених систем з динамічним породженням та видаленням примірників процесів. Для них запропоновано метод трансляції в модифіковані кольорові мережі Петрі, в яких використовується концепція інтервального часу. uk Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України Управляющие системы и машины Программная инженерия и программные средства Метод трансляції SDL-специфікацій за допомогою мереж Петрі високого рівня A Method of the Translation of SLD-Specifications Using the High-Level Petri Nets Метод трансляции SDL-спецификаций с помощью сетей Петри высокого уровня Article published earlier |
| spellingShingle | Метод трансляції SDL-специфікацій за допомогою мереж Петрі високого рівня Заболотна, А.С. Программная инженерия и программные средства |
| title | Метод трансляції SDL-специфікацій за допомогою мереж Петрі високого рівня |
| title_alt | A Method of the Translation of SLD-Specifications Using the High-Level Petri Nets Метод трансляции SDL-спецификаций с помощью сетей Петри высокого уровня |
| title_full | Метод трансляції SDL-специфікацій за допомогою мереж Петрі високого рівня |
| title_fullStr | Метод трансляції SDL-специфікацій за допомогою мереж Петрі високого рівня |
| title_full_unstemmed | Метод трансляції SDL-специфікацій за допомогою мереж Петрі високого рівня |
| title_short | Метод трансляції SDL-специфікацій за допомогою мереж Петрі високого рівня |
| title_sort | метод трансляції sdl-специфікацій за допомогою мереж петрі високого рівня |
| topic | Программная инженерия и программные средства |
| topic_facet | Программная инженерия и программные средства |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/83041 |
| work_keys_str_mv | AT zabolotnaas metodtranslâcíísdlspecifíkacíizadopomogoûmerežpetrívisokogorívnâ AT zabolotnaas amethodofthetranslationofsldspecificationsusingthehighlevelpetrinets AT zabolotnaas metodtranslâciisdlspecifikaciispomoŝʹûseteipetrivysokogourovnâ |