Complexity metrics for Petri net based logic control algorithms

被引:0
|
作者
Frey, G [1 ]
Litz, L [1 ]
Klöckner, F [1 ]
机构
[1] Univ Kaiserslautern, Inst Proc Automat, D-67653 Kaiserslautern, Germany
关键词
Petri net; PLC; logic control; complexity; transparency; quality metrics;
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
In the area of automatic control more and more tasks formerly solved by special hardware are performed by software. Hence to talk about quality in automation, there is a need to measure the quality of a software product. Software Quality is a field of mayor interest for researchers and practitioners today. However in the area of Control Engineering if is rarely studied In previous publications the authors introduced the concept of transparency and defined corresponding metrics to measure the quality of logic controllers In addition to these metrics, in this contribution known complexity metrics from Computer Science are adapted to the area of logic control design and it is shown how the concepts of complexity and transparency are related. The metrics me introduced using the Signal Interpreted Petri Net, but they are also valid for other Petri net types.
引用
收藏
页码:1204 / 1209
页数:6
相关论文
共 50 条
  • [21] Dynamic reconfiguration of Petri net logic controllers based on modified net rewriting systems
    Li, Jun
    Dai, Xianzhong
    Meng, Zhengda
    2005 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS AND AUTOMATIONS, VOLS 1-4, CONFERENCE PROCEEDINGS, 2005, : 562 - 567
  • [22] DNA Algorithms for Petri Net Modeling
    Schuster, Alfons
    INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2008, 32 (04): : 421 - 427
  • [23] Petri Net models of distributed algorithms
    Reisig, W
    COMPUTER SCIENCE TODAY, 1995, 1000 : 441 - 454
  • [24] Petri Net based supervisor for hybrid-logic linear constraints
    Zhang, Yaoyao
    Yan, Gangfeng
    Liu, Meiqin
    DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2006, 13E : 2342 - 2345
  • [25] Petri net-based specification, analysis and synthesis of logic controllers
    Wegrzyn, A
    Wegrzyn, M
    PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOL 1 AND 2, 2000, : 20 - 26
  • [26] Fuzzy Logic Enhanced Time Petri Net Models for Hybrid Control Systems
    Letia, Tiberiu S.
    Kilyen, Attila O.
    PROCEEDING OF 2016 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS (AQTR), 2016, : 227 - 232
  • [27] Improved net rewriting systems-based rapid reconfiguration of Petri net logic controllers
    Li, J
    Dai, XZ
    Meng, ZD
    IECON 2005: THIRTY-FIRST ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, 2005, : 2284 - 2289
  • [28] Logic Petri Net Synthesis for Cooperative Systems
    Luan, Wenjing
    Qi, Liang
    Zhao, Zhongying
    Liu, Jianxin
    Du, Yuyue
    IEEE ACCESS, 2019, 7 : 161937 - 161948
  • [29] A PETRI NET APPROACH TO THE EVALUATION OF THE COMPLEXITY OF A PROGRAM
    HURA, GS
    SINGH, H
    NANDA, NK
    INTERNATIONAL JOURNAL OF ELECTRONICS, 1981, 51 (01) : 79 - 85
  • [30] Disk logging algorithms and performance analysis based on Petri net models
    Zhou, Feng
    Lin, Chuang
    Zheng, Wei-Min
    2002, Chinese Academy of Sciences (13):