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 条
  • [41] A PETRI-NET MODEL FOR NONMONOTONIC REASONING BASED ON ANNOTATED LOGIC PROGRAMS
    LIN, C
    MURATA, T
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1994, E77A (10) : 1579 - 1587
  • [42] COMPLEXITY CONTROL IN LOGIC-BASED PROGRAMMING
    MARKUSZ, Z
    KAPOSI, AA
    COMPUTER JOURNAL, 1985, 28 (05): : 487 - 495
  • [43] Neurovision-based logic control of an experimental manufacturing plant using neural net le-net5 and automation Petri nets
    Karlik, B
    Uzam, M
    Cinsdikici, M
    Jones, AH
    JOURNAL OF INTELLIGENT MANUFACTURING, 2005, 16 (4-5) : 527 - 548
  • [44] Neurovision-based logic control of an experimental manufacturing plant using neural net le-net5 and automation Petri nets
    B. Karlik
    M. Uzam
    M. Cinsdikici
    A. H. Jones
    Journal of Intelligent Manufacturing, 2005, 16 : 527 - 548
  • [45] Modeling of Petri-Net-based control algorithms for the simulation-based improvement of the planning process of building energy systems
    Cai, Xiaoye
    Schild, Thomas
    Schreiber, Thomas
    Baranski, Marc
    Mueller, Dirk
    CLIMATE RESILIENT CITIES - ENERGY EFFICIENCY & RENEWABLES IN THE DIGITAL ERA (CISBAT 2019), 2019, 1343
  • [46] Siphon-trap-based algorithms for efficiently computing Petri net invariants
    Taguchi, A
    Iriboshi, A
    Taoka, S
    Watanabe, T
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2005, E88A (04) : 964 - 971
  • [47] Sensor-based stage Petri net modelling of PLC logic programs for discrete-event control design
    Peng, SS
    Zhou, MC
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2003, 41 (03) : 629 - 644
  • [48] 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
  • [49] Petri net based modelling and supervisory control design in Matlab
    Music, G
    Zupanicic, B
    Matko, D
    IEEE REGION 8 EUROCON 2003, VOL A, PROCEEDINGS: COMPUTER AS A TOOL, 2003, : 362 - 366
  • [50] Nonprimitive recursive complexity and undecidability for Petri net equivalences
    Jancar, P
    THEORETICAL COMPUTER SCIENCE, 2001, 256 (1-2) : 23 - 30