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 条
  • [21] Developing software controllers with Petri nets and a logic of actions
    Simon, C
    2001 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2001, : 58 - 63
  • [22] Service net algebra based on logic Petri nets
    Hu, Qiang
    Du, Yuyue
    Yu, ShuXia
    INFORMATION SCIENCES, 2014, 268 : 271 - 289
  • [23] Modeling and simulation of an electronic component manufacturing system using hybrid petri nets
    Allam, M
    Alla, H
    IEEE TRANSACTIONS ON SEMICONDUCTOR MANUFACTURING, 1998, 11 (03) : 374 - 383
  • [24] Composition of Logical Petri Nets and Compatibility Analysis
    Luan, Wenjing
    Qi, Liang
    Du, Yuyue
    IEEE ACCESS, 2017, 5 : 9152 - 9162
  • [25] An Algorithm for Linear Constraint Transformation in Petri Nets
    You Dan
    Wang ShouGuang
    Wang ChengYing
    PROCEEDINGS OF THE 35TH CHINESE CONTROL CONFERENCE 2016, 2016, : 2396 - 2401
  • [26] Modelling integer linear programs with Petri nets
    Richard, P
    RAIRO-RECHERCHE OPERATIONNELLE-OPERATIONS RESEARCH, 2000, 34 (03): : 305 - 312
  • [27] Approach for Transforming Linear Constraints on Petri Nets
    Luo, Jiliang
    Nonami, Kenzo
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2011, 56 (12) : 2745 - 2759
  • [28] Modeling an agro-alimentary production system using Petri Nets and fuzzy logic
    de Gentili, E
    de Cicco, A
    Santucci, JF
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 6067 - 6074
  • [29] Automatic Web service composition based on Horn clauses and Petri nets
    Tang, Xianfei
    Jiang, Changjun
    Zhou, Mengchu
    EXPERT SYSTEMS WITH APPLICATIONS, 2011, 38 (10) : 13024 - 13031
  • [30] Net structure and control logic synthesis of controlled Petri nets
    Chen, HX
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (10) : 1446 - 1450
12345