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 条
  • [31] Graphical simulator for programmable logic controllers based on Petri nets
    Barker, HA
    Grant, PW
    Song, J
    MICROPROCESSING AND MICROPROGRAMMING, 1996, 41 (10): : 737 - 756
  • [32] A Petri Nets based functional validation for services composition
    Yoo, Taejong
    Jeong, Buhwan
    Cho, Hyunbo
    EXPERT SYSTEMS WITH APPLICATIONS, 2010, 37 (05) : 3768 - 3776
  • [33] Modeling Petri Nets Using Alloy
    Robles, Jonathan A.
    Solano, Geoffrey A.
    TENCON 2012 - 2012 IEEE REGION 10 CONFERENCE: SUSTAINABLE DEVELOPMENT THROUGH HUMANITARIAN TECHNOLOGY, 2012,
  • [34] PERFORMANCE ANALYSIS USING PETRI NETS
    DESROCHERS, AA
    JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, 1992, 6 (01) : 65 - 79
  • [35] Desynchronisation Technique Using Petri Nets
    Dasgupta, Sohini
    Yakovlev, Alex
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 245 : 51 - 67
  • [36] Modelling Opacity Using Petri Nets
    Bryans, Jeremy W.
    Koutny, Maciej
    Ryan, Peter Y. A.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 121 : 101 - 115
  • [37] Modular logic controllers for machining systems: Formal representation and performance analysis using Petri nets
    Park, E
    Tilbury, DM
    Khargonekar, PP
    IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1999, 15 (06): : 1046 - 1061
  • [38] A Telemedicine System Using Petri Nets
    Ruiz, Ivan
    Collazos, C. A.
    Sanz, Fredy A.
    Garcia, Jose
    De-la-Hoz-Franco, Emiro
    Melendez-Pertuz, Farid
    Mora, Cesar
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2019, PT II: 19TH INTERNATIONAL CONFERENCE, SAINT PETERSBURG, RUSSIA, JULY 1-4, 2019, PROCEEDINGS, PART II, 2019, 11620 : 758 - 766
  • [39] Component tools: Integrating Petri nets with other formal methods
    Kindler, Ekkart
    Rubin, Vladimir
    Wagner, Robert
    PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2006, 2006, 4024 : 37 - 56
  • [40] Automatic Composition of Semantic Web Services Based on Fuzzy Predicate Petri Nets
    Cheng, Jiujun
    Liu, Cong
    Zhou, MengChu
    Zeng, Qingtian
    Yla-Jaaski, Antti
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2015, 12 (02) : 680 - 689
12345