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
相关论文
共 50 条
  • [1] Generalized Net of the Process of Sequential Pattern Mining by Generalized Sequential Pattern Algorithm (GSP)
    Bureva, Veselina
    Sotirova, Evdokia
    Chountas, Panagiotis
    INTELLIGENT SYSTEMS'2014, VOL 2: TOOLS, ARCHITECTURES, SYSTEMS, APPLICATIONS, 2015, 323 : 831 - 838
  • [2] Generalized Net Models of Basic Sequential Logic Circuits
    Erbakanov, Lenko
    Atanassov, Krassimir
    Sotirov, Sotir
    Simeonov, Stanislav
    2016 IEEE 8TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS (IS), 2016, : 579 - 583
  • [3] CONTROL OF SEQUENTIAL MOVEMENTS - EVIDENCE FOR GENERALIZED MOTOR PROGRAMS
    CARTER, MC
    SHAPIRO, DC
    JOURNAL OF NEUROPHYSIOLOGY, 1984, 52 (05) : 787 - 796
  • [4] Generalized net model of the endocrine system
    Chakarov, Vihren E.
    Shannon, Anthony G.
    Sorsich, Joseph G.
    Atanassov, Krassimir T.
    COMPTES RENDUS DE L ACADEMIE BULGARE DES SCIENCES, 2008, 61 (06): : 705 - 712
  • [5] Generalized Net of MapReduce Computational Model
    Bureva, Veselina
    Popov, Stanislav
    Sotirova, Evdokia
    Atanassov, Krassimir T.
    UNCERTAINTY AND IMPRECISION IN DECISION MAKING AND DECISION SUPPORT: CROSS-FERTILIZATION, NEW MODELS, AND APPLICATIONS, 2018, 559 : 305 - 315
  • [6] GENERALIZED ATTITUDE MODEL FOR TELEVISION PROGRAMS
    NIELSEN, RP
    JOURNAL OF BROADCASTING, 1974, 18 (02): : 153 - 160
  • [7] Simplex-like sequential methods for a class of generalized fractional programs
    Cambini, Riccardo
    Carosi, Laura
    Martein, Laura
    Valipour, Ezat
    MATHEMATICAL METHODS OF OPERATIONS RESEARCH, 2017, 85 (01) : 77 - 96
  • [8] Simplex-like sequential methods for a class of generalized fractional programs
    Riccardo Cambini
    Laura Carosi
    Laura Martein
    Ezat Valipour
    Mathematical Methods of Operations Research, 2017, 85 : 77 - 96
  • [9] Generalized Net Model of Asymptomatic Osteoporosis Diagnosing
    Ribagin, Simeon
    Roeva, Olympia
    Pencheva, Tania
    2016 IEEE 8TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS (IS), 2016, : 604 - 608
  • [10] A Generalized Net Model of the Normal Heart Functioning
    Vassilev, Valentin
    Sotirova, Evdokia
    Atanassov, Krassimir
    UNCERTAINTY AND IMPRECISION IN DECISION MAKING AND DECISION SUPPORT: NEW ADVANCES, CHALLENGES, AND PERSPECTIVES, 2022, 338 : 408 - 418
12345