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 条
  • [41] Component-based Translation of BPMN Models to Petri Nets
    Tao Yan
    ELECTRONIC COMMERCE AND INFORMATION ENGINEERING IN CHINA: PROCEEDINGS OF THE 2ND INTERNATIONAL SYMPOSIUM ON ELECTRONIC BUSINESS AND INFORMATION SYSTEM, 2010, : 74 - 78
  • [42] Modeling and Evaluation of Service Composition in Commercial Multiclouds Using Timed Colored Petri Nets
    Entezari-Maleki, Reza
    Etesami, Sayed Ehsan
    Ghorbani, Negar
    Niaki, Arian Akhavan
    Sousa, Leonel
    Movaghar, Ali
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2020, 50 (03): : 947 - 961
  • [43] Modeling Synchronization Problems: From Composed Petri Nets to Provable Linear Sequents
    Perhac, Jan
    Mihalyi, Daniel
    Novitzka, Valerie
    ACTA POLYTECHNICA HUNGARICA, 2017, 14 (08) : 165 - 182
  • [44] K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization
    Chouchane, Amira
    Ghazel, Mohamed
    Boussif, Abderraouf
    AUTOMATICA, 2023, 147
  • [45] A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming
    Tricas, F
    Colom, JM
    Ezpeleta, J
    SIMULATION IN INDUSTRY'99: 11TH EUROPEAN SIMULATION SYMPOSIUM 1999, 1999, : 542 - 546
  • [46] Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets
    Hafidi, Y.
    de Vink, E. P.
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2023, 130
  • [47] Process Definition and Property Analysis in Workflow Systems Using Petri Nets and Software Component Technology
    Chen, Chyun-Chyi
    Lin, Chun-Chi
    2015 THIRD INTERNATIONAL CONFERENCE ON ROBOT, VISION AND SIGNAL PROCESSING (RVSP), 2015, : 171 - 175
  • [48] Reasoning about Petri Nets: A Calculus Based on Resolution and Dynamic Logic
    Lopes, Bruno
    Nalon, Claudia
    Haeusler, Edward Hermann
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2021, 22 (02)
  • [49] Simulating Train Dispatching Logic with High-Level Petri Nets
    Jeremic, Dusan
    Milinkovic, Sanjin
    Kasalica, Sandra
    TEHNICKI VJESNIK-TECHNICAL GAZETTE, 2021, 28 (02): : 639 - 648
  • [50] Variable Petri Nets for Mobility
    Ding, Zhijun
    Yang, Ru
    Cui, Puwen
    Zhou, MengChu
    Jiang, Changjun
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2022, 52 (08): : 4784 - 4797
12345