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 条
  • [31] PETRI-NET-BASED ALGORITHMS FOR PARALLEL-CONTROLLER SYNTHESIS
    BILINSKI, K
    ADAMSKI, M
    SAUL, JM
    DAGLESS, EL
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1994, 141 (06): : 405 - 412
  • [32] SYNTHESIS OF A PETRI NET BASED CONTROL FLOW MODEL
    NISHIMURA, R
    ZAKY, SG
    1989 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-3, 1989, : 313 - 318
  • [33] AN EMPIRICAL-STUDY ON THE COMPLEXITY METRICS OF PETRI NETS
    LEE, GS
    YOON, JM
    MICROELECTRONICS AND RELIABILITY, 1992, 32 (03): : 323 - 329
  • [34] AN EMPIRICAL-STUDY ON COMPLEXITY METRICS OF PETRI NETS
    LEE, GS
    YOON, JM
    MICROELECTRONICS AND RELIABILITY, 1992, 32 (09): : 1215 - 1221
  • [35] A colored Petri net model for DisCSP algorithms
    Pascal, Carlos
    Panescu, Doru
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2017, 29 (18):
  • [36] Digital twin workshop system of circuit breaker based on logic Petri net
    Li S.
    Shu L.
    Wu G.
    Yang Y.
    Yang M.
    Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2022, 28 (02): : 455 - 465
  • [37] Petri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism
    Doligalski, Michal
    Adamski, Marian
    INTERNATIONAL JOURNAL OF ELECTRONICS AND TELECOMMUNICATIONS, 2012, 58 (01) : 43 - 48
  • [38] Investigate the complexity of the control system of the Norwegian traffic light using Petri net model
    Tristono, T.
    Cahyono, S. D.
    Sutomo
    Utomo, P.
    2ND INTERNATIONAL CONFERENCE OF COMBINATORICS, GRAPH THEORY, AND NETWORK TOPOLOGY, 2019,
  • [39] Logic synthesis for asynchronous circuits based on Petri net unfoldings and incremental SAT
    Khomenko, V
    Koutny, M
    Yakovlev, A
    FOURTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2004, : 16 - 25
  • [40] C code generation from Petri net based logic controller specification
    Grobelny, Michal
    Grobelna, Iwona
    Karatkevich, Andrei
    PHOTONICS APPLICATIONS IN ASTRONOMY, COMMUNICATIONS, INDUSTRY, AND HIGH ENERGY PHYSICS EXPERIMENTS 2017, 2017, 10445