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 条
  • [1] PETRI NET MODELING OF LOGIC CONTROL ALGORITHMS
    ZAKREVSKIJ, AD
    AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1986, (06): : 44 - 51
  • [2] Analysis of Petri net based control algorithms - Basic properties
    Frey, G
    PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2000, : 3172 - 3176
  • [3] Automatic implementation of Petri Net based control algorithms on PLC
    Frey, G
    PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2000, : 2819 - 2823
  • [4] Colored Petri net control of OR-Logic
    Wu, WM
    Su, HY
    Chu, J
    Wonhan, WM
    PROCEEDINGS OF THE 2002 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL, 2002, : 795 - 800
  • [5] Service net algebra based on logic Petri nets
    Hu, Qiang
    Du, Yuyue
    Yu, ShuXia
    INFORMATION SCIENCES, 2014, 268 : 271 - 289
  • [6] Correctness analysis of Petri net based logic controllers
    Frey, G
    Litz, L
    PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2000, : 3165 - 3166
  • [7] Net structure and control logic synthesis of controlled Petri nets
    Chen, HX
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (10) : 1446 - 1450
  • [8] Control flow complexity metrics for petri netbased web service composition
    Mao C.
    Journal of Software, 2010, 5 (11) : 1292 - 1299
  • [9] ω-Petri Nets: Algorithms and Complexity
    Geeraerts, Gilles
    Heussner, Alexander
    Praveen, M.
    Raskin, Jean-Francois
    FUNDAMENTA INFORMATICAE, 2015, 137 (01) : 29 - 60
  • [10] A Study of Railway Interlocking Logic Modelling Based on Petri Net
    Kang B.
    Lee J.
    Transactions of the Korean Institute of Electrical Engineers, 2023, 72 (11): : 1575 - 1580