Petri Nets as a means of modelling the mechanism rendezvous of Ada language
DOI:
https://doi.org/10.15587/1729-4061.2012.4140Keywords:
Ada language, Petri nets, models of parallel algorithms, rendezvousAbstract
Investigating and analysis of processes interaction in parallel Ada programs by creation of models in terms of Petri Nets is considered in this article. The topicality of the research is stipulated by the development of multiprocessing and multinuclear systems and necessity of parallel software analysis created for them. Currently, there are several technologies for development of parallel programs. Ada programming language was chosen because it has its own built-in means for the development of parallel software. The subject matter of the research is the formation of the algorithmic constructions which describes the mechanism rendezvous (by detailed modelling of operator “selective accept”) on the basis of Petri Nets. The practical application of the research is based on the possible usage of the obtained data and the main conclusions for verification program code and construction of more effective programs.References
- Карпов, Ю.Г. Model Checking. Верификация параллельных и распределённых программных систем. [Текст] / Ю.Г. Карпов. – СПб.: БХВ-Петербург, 2010. – 560 с. – ISBN 978-5-9775-0404-1.
- Питерсон, Дж. Теория сетей Петри и моделирование систем. [Текст] / Дж. Питерсон. – М.: Мир, 1984.–264 c.
- Кузьмук, В.В. Модифицированные сети Петри и устройства моделирования параллельных процессов: монография / В. В. Кузьмук, О. А. Супруненко. – К. : Маклаут, 2010. – 252 с. – ISBN 978-966-2200-07-2.
- Гавва А. «Адское» программирование. Ada-95. Компилятор GNAT. [Електронний документ]. Режим доступу: http://adaru. org/V-0.4w/index.html. Перевірено: 18.07.2012.
- Ada Reference Manual ISO/IEC 8652:2007(E) Ed. 3. [Електронний документ]. Режим доступу: http://www.adapower.com/rm- 95/index.html. Перевірено: 18.07.2012.
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2014 Анна Миколаївна Парнюк
This work is licensed under a Creative Commons Attribution 4.0 International License.
The consolidation and conditions for the transfer of copyright (identification of authorship) is carried out in the License Agreement. In particular, the authors reserve the right to the authorship of their manuscript and transfer the first publication of this work to the journal under the terms of the Creative Commons CC BY license. At the same time, they have the right to conclude on their own additional agreements concerning the non-exclusive distribution of the work in the form in which it was published by this journal, but provided that the link to the first publication of the article in this journal is preserved.
A license agreement is a document in which the author warrants that he/she owns all copyright for the work (manuscript, article, etc.).
The authors, signing the License Agreement with TECHNOLOGY CENTER PC, have all rights to the further use of their work, provided that they link to our edition in which the work was published.
According to the terms of the License Agreement, the Publisher TECHNOLOGY CENTER PC does not take away your copyrights and receives permission from the authors to use and dissemination of the publication through the world's scientific resources (own electronic resources, scientometric databases, repositories, libraries, etc.).
In the absence of a signed License Agreement or in the absence of this agreement of identifiers allowing to identify the identity of the author, the editors have no right to work with the manuscript.
It is important to remember that there is another type of agreement between authors and publishers – when copyright is transferred from the authors to the publisher. In this case, the authors lose ownership of their work and may not use it in any way.
