Since 2014
Petri nets as a means of modelling parallel algorithmic constructions of Ada language
Technology Audit and Production Reserves
View Archive Info| Field | Value | |
| Title |
Petri nets as a means of modelling parallel algorithmic constructions of Ada language
Сети Петри, как средство моделирования параллельных алгоритмических конструкций языка Ада Мережі Петрі, як засіб моделювання паралельних алгоритмічних конструкцій мови Ада |
|
| Creator |
Парнюк, Анна Миколаївна; Pukhov Institute for Modelling in Energy Engineering National Academy of Sciences of Ukraine
|
|
| Subject |
Verification, Petri nets, models of parallel algorithms
УДК 519.683.2, 519.179.2, 004.942 Верификация, сети Петри, модели параллельных алгоритмов УДК 519.683.2, 519.179.2, 004.942 Верифікація, мережі Петрі, моделі паралельних алгоритмів УДК 519.683.2, 519.179.2, 004.942 |
|
| Description |
This work considered the modeling of specific algorithmic constructions of Ada language based on the terms of Petri nets and also their use for the purpose of automation verification of the parallel software
В данной работе рассматривается моделирование специфических алгоритмических конструкций языка Ада реализованных в терминах сетей Петри, а также их использование с целью автоматизации верификации параллельного программного обеспечения У даній роботі розглядається моделювання специфічних алгоритмічних конструкцій мови Ада реалізованих в термінах мереж Петрі, а також їх використання з метою автоматизованої верифікації паралельного програмного забезпечення |
|
| Publisher |
Private company "Technology Center"
|
|
| Contributor |
—
— — |
|
| Date |
2012-09-06
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion — — — |
|
| Format |
application/pdf
|
|
| Identifier |
http://journals.uran.ua/tarp/article/view/4780
10.15587/2312-8372.2012.4780 |
|
| Source |
Technology audit and production reserves; Vol 4, No 1(6) (2012): INTERNATIONAL SCIENTIFIC CONFERENCE. Management systems and processes; 31-32
Технологічний аудит та резерви виробництва; Vol 4, No 1(6) (2012): INTERNATIONAL SCIENTIFIC CONFERENCE. Management systems and processes; 31-32 Технологический аудит и резервы производства; Vol 4, No 1(6) (2012): INTERNATIONAL SCIENTIFIC CONFERENCE. Management systems and processes; 31-32 2312-8372 2226-3780 |
|
| Language |
ukr
|
|
| Relation |
http://journals.uran.ua/tarp/article/view/4780/4431
|
|
| Rights |
Copyright (c) 2016 Анна Миколаївна Парнюк
http://creativecommons.org/licenses/by/4.0 |
|