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...
保存先:
| 主要な著者: | , , |
|---|---|
| フォーマット: | 論文 |
| 言語: | 英語 |
| 出版事項: |
Yaroslavl State University
2011-06-01
|
| シリーズ: | Моделирование и анализ информационных систем |
| 主題: | |
| オンライン･アクセス: | https://www.mais-journal.ru/jour/article/view/1086 |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
このレコードへの初めてのコメントを付けませんか!