On a Function Representation in an Imperative Program Model Specified by Petri Nets
In the article an approach to constructing in terms of Petri nets a function model as a program model unit is considered. This approach makes it possible to present a program control flow model in a whole as a composition of constituent control flow models of each function. In the article constructi...
Tallennettuna:
| Päätekijät: | , , |
|---|---|
| Aineistotyyppi: | Artikkeli |
| Kieli: | englanti |
| Julkaistu: |
Yaroslavl State University
2011-06-01
|
| Sarja: | Моделирование и анализ информационных систем |
| Aiheet: | |
| Linkit: | https://www.mais-journal.ru/jour/article/view/1086 |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|