Component Composition using Linear Logic and Petri Nets

被引：0
|
作者：
Demeterova, Emilia [1 ]
Mihalyi, Daniel [1 ]
Novitzka, Valerie [1 ]
机构：
[1] Tech Univ Kosice, Fac Elect Engn & Informat, Kosice, Slovakia
来源：
2015 IEEE 13th International Scientific Conference on Informatics | 2015年
关键词：
Petri nets; Linear logic; Component system; MODEL;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Linear logic is a suitable logical system for showing how program systems can be described. Individual connectives used in linear logic formulae correspond to some fragments of Petri nets, the other tool for modeling behavior of systems. In this paper we use this correspondence between linear logic and Petri nets to show how the composition of small working Petri nets brings new problems not occurring in original components. Considering small Petri nets as components we illustrate the problems arising by composition on several examples.
引用
收藏
页码：85 / 90
页数：6
相关论文
共 50 条
  • [1] Real-time scheduling of batch systems using Petri nets and linear logic
    Soares, Michel dos Santos
    Julia, Stephane
    Vrancken, Jos
    JOURNAL OF SYSTEMS AND SOFTWARE, 2008, 81 (11) : 1983 - 1996
  • [2] Timed Petri nets, Linear logic, and performance modeling
    Gehlot, V
    MSV'04 & AMCS'04, PROCEEDINGS, 2004, : 195 - 200
  • [3] Modeling probabilistic logic using petri nets
    Lin, C
    Wu, YT
    Li, B
    INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 864 - 869
  • [4] Linear logic as a tool for presentation and temporal reasoning of time Petri nets
    Gao, MM
    Huang, XG
    Wu, ZM
    PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2000, : 3177 - 3181
  • [5] Linear Time S-Component Extraction for General Petri Nets
    Sakellariou, Antonia
    Valiantzas, Dimitrios
    Sotiriou, Christos
    Xiromeritis, Nikolaos
    Sketopoulos, Nikolaos
    2019 PANHELLENIC CONFERENCE ON ELECTRONICS AND TELECOMMUNICATIONS (PACET2019), 2019, : 173 - 178
  • [6] Design and implementation of a logic controller using Petri nets and Ladder Logic Diagrams
    Tzafestas, SG
    Pantelelis, MG
    Kostis, DL
    MANUFACTURING, MODELING, MANAGEMENT AND CONTROL, PROCEEDINGS, 2001, : 333 - 338
  • [7] Propositional dynamic logic for Petri nets
    Lopes, Bruno
    Benevides, Mario
    Haeusler, Edward Hermann
    LOGIC JOURNAL OF THE IGPL, 2014, 22 (05) : 721 - 736
  • [8] Humanoid Robot Hierarchical Navigation Using Petri Nets And Fuzzy Logic
    Furlan, Federico
    Rubio, Elsa
    Sossa, Humberto
    Ponce, Victor
    2017 56TH ANNUAL CONFERENCE OF THE SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS OF JAPAN (SICE), 2017, : 1521 - 1526
  • [9] Solving scheduling problems using Petri nets and constraint logic programming
    Richard, P
    Proust, C
    RAIRO-RECHERCHE OPERATIONNELLE-OPERATIONS RESEARCH, 1998, 32 (02): : 125 - 143
  • [10] ON YEN'S PATH LOGIC FOR PETRI NETS
    Atig, Mohamed Faouzi
    Habermehl, Peter
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2011, 22 (04) : 783 - 799
12345