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 条
  • [41] Generalized petri net model for a class of hybrid systems
    Xu, Xinhe
    Li, Zhengguo
    Li, Yanping
    Zidonghua Xuebao/Acta Automatica Sinica, 1997, 23 (03): : 297 - 301
  • [42] Generalized Net Model of Implementation of Port Knocking on RouterOS
    Andreev, Krasiyan
    Vardeva, Ivelina
    UNCERTAINTY AND IMPRECISION IN DECISION MAKING AND DECISION SUPPORT: NEW ADVANCES, CHALLENGES, AND PERSPECTIVES, 2022, 338 : 111 - 119
  • [43] GENERALIZED NET MODEL OF PROCESSES RELATED TO BIG DATA
    Orozova, Daniela
    Atanassov, Krassimir
    COMPTES RENDUS DE L ACADEMIE BULGARE DES SCIENCES, 2018, 71 (12): : 1679 - 1686
  • [44] A GENERALIZED NET MODEL OF INTUITIONISTIC FUZZY IMAGE PREPROCESSING
    Parvathi, Rangasami
    Sotirov, Sotir
    Gluhchev, Georgi
    Atanassov, Krassimir
    COMPTES RENDUS DE L ACADEMIE BULGARE DES SCIENCES, 2011, 64 (03): : 333 - 338
  • [45] A Generalized Net Model of the Prostate Gland's Functioning
    Lubich, Martin
    Papazov, Velimir
    Popov, Elenko
    Georgieva, Radostina
    Dmitrenko, Dmitrii
    Bojkov, Borislav
    Slavov, Chavdar
    Vassilev, Peter
    Atanassova, Vassia
    Todorova, Lyudmila
    Atanassov, Krassimir T.
    MATHEMATICS, 2022, 10 (03)
  • [46] Project: generalized net model of health unit activities
    Atanassov, K.
    Cekov, N.
    Christov, R.
    Georgiev, P.
    Karagyozov, I.
    Momchilov, P.
    Sorsich, J.
    Advances in Modelling and Analysis A: General Mathematical and Computer Tools, 1994, 19 (3-4): : 13 - 22
  • [47] On a Mathematical Model of the Generalized Sequential Partially Covering Problem
    Nuriyeva, Fidan
    2016 IEEE 10TH INTERNATIONAL CONFERENCE ON APPLICATION OF INFORMATION AND COMMUNICATION TECHNOLOGIES (AICT), 2016, : 112 - 114
  • [48] AN EXTENDED PETRI-NET MODEL FOR NORMAL LOGIC PROGRAMS
    SHIMURA, T
    LOBO, J
    MURATA, T
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1995, 7 (01) : 150 - 162
  • [49] Modular Verification of Concurrent Programs via Sequential Model Checking
    Rasin, Dan
    Grumberg, Orna
    Shoham, Sharon
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2018), 2018, 11138 : 228 - 247
  • [50] FocusCheck: A tool for model checking and debugging sequential C programs
    Keller, CW
    Saha, D
    Basu, S
    Smolka, SA
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2005, 3440 : 563 - 569
12345