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 条
  • [31] A Sequential Model for Reasoning about Bargaining in Logic Programs
    Chen, Wu
    Zhang, Dongmo
    Wu, Maonian
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 239 - 244
  • [32] A per model of secure information flow in sequential programs
    Sabelfeld, A
    Sands, D
    PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 1576 : 40 - 58
  • [33] Syntax-directed model checking of sequential programs
    Yorav, K
    Grumberg, O
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2002, 52-3 : 129 - 162
  • [34] PuMoC: A CTL Model-Checker for Sequential Programs
    Song, Fu
    Touili, Tayssir
    2012 PROCEEDINGS OF THE 27TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2012, : 346 - 349
  • [35] A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs
    Ghosal, Sandip
    Shyamasundar, R. K.
    2020 27TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2020), 2020, : 51 - 60
  • [36] Generalized Net Model of Biometric Multifactor Authentication System
    Ivanova, Zhelyana
    Bureva, Veselina
    Sotirov, Sotir
    UNCERTAINTY AND IMPRECISION IN DECISION MAKING AND DECISION SUPPORT: NEW ADVANCES, CHALLENGES, AND PERSPECTIVES, 2022, 338 : 419 - 435
  • [37] Generalized Net Model of Adolescent Idiopathic Scoliosis Diagnosing
    Ribagin, Simeon
    Atanassov, Krassimir T.
    Roeva, Olympia
    Pencheva, Tania
    UNCERTAINTY AND IMPRECISION IN DECISION MAKING AND DECISION SUPPORT: CROSS-FERTILIZATION, NEW MODELS, AND APPLICATIONS, 2018, 559 : 333 - 348
  • [38] A generalized net model of the system "object- environment"
    Pinto, PM
    Atanassov, K
    CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, 2003, : 1053 - 1056
  • [39] Generalized Net Model of Forest Zone Monitoring by UAVs
    Atanassov, Krassimir T.
    Vassilev, Peter
    Atanassova, Vassia
    Roeva, Olympia
    Iliev, Rosen
    Zoteva, Dafina
    Bureva, Veselina
    Mavrov, Deyan
    Alexandrov, Alexander
    MATHEMATICS, 2021, 9 (22)
  • [40] A GENERALIZED TIMED PETRI NET MODEL FOR PERFORMANCE ANALYSIS
    HOLLIDAY, MA
    VERNON, MK
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (12) : 1297 - 1310
12345