Generalized Net Model of Sequential Programs

被引：0
作者：
Todorova, Magdalina [1 ]
Orozova, Daniela [2 ]
机构：
[1] Sofia Univ, Sofia, Bulgaria
[2] Burgas Free Univ, Burgas, Bulgaria
来源：
2018 20TH INTERNATIONAL SYMPOSIUM ON ELECTRICAL APPARATUS AND TECHNOLOGIES (SIELA) | 2018年
关键词：
generalized nets; modeling; reduced generalized nets; sequential programs;
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
The article presents a generalized net model of sequential programs. As a result, generalized net sequential programs are defined. The syntax and semantics of such programs are outlined. In order to define the syntax, reduced generalized nets are used. The semantics is defined by applying Kripke's model, used in propositional dynamic logics. Possible applications of the suggested model are discussed.
引用
收藏
页数：4
相关论文
共 17 条
  • [1] Angelova N, 2016, CR ACAD BULG SCI, V69, P411
  • [2] [Anonymous], 2016, INT J APPL ENG RES
  • [3] [Anonymous], 2007, COMPILERS PRINCIPLES
  • [4] Atanassov K., 2014, INDEX MATRICES AUGME
  • [5] Atanassov K., 1983, P SUMM SCH MATH LOG, P26
  • [6] Atanassov K., 2007, GEN NETS THEOEY
  • [7] Atanassov K., 1988, AMSE REV, V9, P49
  • [8] ATANASSOV KT, 1987, DOKL BOLG AKAD NAUK, V40, P15
  • [9] Bannwart F, 2006, LECT NOTES COMPUT SC, V4085, P492
  • [10] QAHEaaS or Quality Assurance in Higher Education as a Service
    Hadzhikoleva, Stanka
    Hadzhikolev, Emil
    [J]. TEM JOURNAL-TECHNOLOGY EDUCATION MANAGEMENT INFORMATICS, 2016, 5 (03): : 363 - 370
12