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
来源
SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5 | 2000年
关键词
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] Service net algebra based on logic Petri nets
    Hu, Qiang
    Du, Yuyue
    Yu, ShuXia
    INFORMATION SCIENCES, 2014, 268 : 271 - 289
  • [2] Control flow complexity metrics for petri netbased web service composition
    Mao C.
    Journal of Software, 2010, 5 (11) : 1292 - 1299
  • [3] 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
  • [4] A Petri Net-Based Ladder Logic Diagram Design Method for the Logic and Sequence Control of Photo Mask Transport
    Liu, Yun
    EMERGING INTELLIGENT COMPUTING TECHNOLOGY AND APPLICATIONS, PROCEEDINGS, 2009, 5754 : 774 - 783
  • [5] A Petri net based supervisory control implementation
    Flochová, J
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 1039 - 1044
  • [6] 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
  • [7] Computational Complexity of Liveness Problem of Normal Petri Net
    Ohta, Atsushi
    Tsuji, Kohkichi
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2009, E92A (11) : 2717 - 2722
  • [8] Nonprimitive recursive complexity and undecidability for Petri net equivalences
    Jancar, P
    THEORETICAL COMPUTER SCIENCE, 2001, 256 (1-2) : 23 - 30
  • [9] Chemical Process Control Strategy Research based on Petri net
    Li Zhihui
    PROCEEDINGS OF 8TH INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTATION TECHNOLOGY AND AUTOMATION (ICICTA 2015), 2015, : 278 - 281
  • [10] Research on Chemical Process Control Strategy Based on Petri Net
    Huang, Xianglong
    PROCEEDINGS OF THE 2021 FIFTH INTERNATIONAL CONFERENCE ON I-SMAC (IOT IN SOCIAL, MOBILE, ANALYTICS AND CLOUD) (I-SMAC 2021), 2021, : 1784 - 1787