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 条
  • [31] Autonomous underwater vehicle: Petri net based hybrid control of mission and motion
    Chang, ZH
    Bian, XQ
    Shi, XC
    PROCEEDINGS OF THE 2004 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2004, : 1113 - 1118
  • [32] The Residual Life Prediction of the Satellite Attitude Control System Based on Petri Net
    Qi, Haiming
    Jiang, Bin
    Lu, Ningyun
    Cheng, Yuehua
    Xing, Yan
    PROCEEDINGS OF 2014 PROGNOSTICS AND SYSTEM HEALTH MANAGEMENT CONFERENCE (PHM-2014 HUNAN), 2014, : 266 - 270
  • [33] Petri net-based modeling and control of the multi-elevator systems
    Farooq Ahmad
    Ilyas Fakhir
    Sher Afzal Khan
    Yaser Daanial Khan
    Neural Computing and Applications, 2014, 24 : 1601 - 1612
  • [34] Algorithm to Convert Programmable Logic Controller Ladder Logic Diagram Models to Petri Net Models
    Aspar, Z.
    Shaikh-Husin, Nasir
    Khalil-Hani, M.
    2015 IEEE STUDENT CONFERENCE ON RESEARCH AND DEVELOPMENT (SCORED), 2015, : 156 - 161
  • [35] Petri-net-based robust supervisory control of automated manufacturing systems
    Yue, Hao
    Xing, Keyi
    Hu, Hesuan
    Wu, Weimin
    Su, Hongye
    CONTROL ENGINEERING PRACTICE, 2016, 54 : 176 - 189
  • [36] CUMULATIVE DEFAULT LOGIC - FINITE CHARACTERIZATION, ALGORITHMS, AND COMPLEXITY
    GOTTLOB, G
    ZHANG, MY
    ARTIFICIAL INTELLIGENCE, 1994, 69 (1-2) : 329 - 345
  • [37] Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language
    Bergenthum, Robin
    Desel, Joerg
    Mauser, Sebastian
    TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY III, 2009, 5800 : 216 - 243
  • [38] Dynamic access control through Petri net workflows
    Knorr, K
    16TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, PROCEEDINGS, 2000, : 159 - 167
  • [39] Control Petri Net Implementation into Partial Reconfigurable FPGA
    Wegrzyn, Agnieszka
    Wegrzyn, Marek
    PRZEGLAD ELEKTROTECHNICZNY, 2010, 86 (03): : 221 - 224
  • [40] A Petri net approach to load and control a flexible machine
    Kuo, W
    Choi, BW
    Rupe, J
    SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 2730 - 2734