Model checking of Signal Interpreted Petri Nets

被引：0
|
作者：
Weng, XY [1 ]
Litz, L [1 ]
机构：
[1] Univ Kaiserslautern, Inst Proc Automat, Kaiserslautern, Germany
来源：
2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE | 2002年
关键词：
logic control; model checking; temporal logic; Petri net;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper we present an approach to verify the properties of a specification for logic control design with Signal Interpreted Petri Net (SIPN) applying temporal logic model checking methods, which also allows to study the unstable cycle in the design.
引用
收藏
页码：2748 / 2752
页数：5
相关论文
共 50 条
  • [1] PLC programming with signal interpreted Petri nets
    Klein, S
    Frey, G
    Minas, M
    [J]. APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 440 - 449
  • [2] Model Checking of Concurrency in Cyber-Physical Systems Specified with Interpreted Petri Nets
    Grobelna, Iwona
    [J]. 2024 23RD INTERNATIONAL SYMPOSIUM INFOTEH-JAHORINA, INFOTEH, 2024,
  • [3] State Estimation for Time Signal Interpreted Petri Nets
    Koehler, Andreas
    Zhang, Ping
    [J]. IFAC PAPERSONLINE, 2024, 58 (01): : 294 - 299
  • [4] Controller design for an FMS using signal interpreted Petri Nets and SFC -: Validation of both descriptions via Model-checking
    Klein, S
    Weng, XY
    Frey, G
    Lesage, JJ
    Litz, L
    [J]. PROCEEDINGS OF THE 2002 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2002, 1-6 : 4141 - 4146
  • [5] Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets
    Grobelna, Iwona
    Szczesniak, Pawel
    [J]. SENSORS, 2022, 22 (18)
  • [6] Model checking Petri nets with MSVL
    Shi, Ya
    Tian, Cong
    Duan, Zhenhua
    Zhou, Mengchu
    [J]. INFORMATION SCIENCES, 2016, 363 : 274 - 291
  • [7] MODEL CHECKING OF PERSISTENT PETRI NETS
    BEST, E
    ESPARZA, J
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 626 : 35 - 52
  • [8] ON SYMBOLIC MODEL CHECKING IN PETRI NETS
    HIRAISHI, K
    NAKANO, M
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1995, E78A (11) : 1479 - 1486
  • [9] Deadlock Detection and Avoidance using Signal Interpreted Petri Nets
    Aspar, Z.
    Khalil-Hani, Mohamed
    Shaikh-Husin, Nasir
    [J]. 2012 IEEE INTERNATIONAL CONFERENCE ON CIRCUITS AND SYSTEMS (ICCAS), 2012, : 150 - 155
  • [10] INTERPRETED PETRI NETS AND GRAFCET
    MOALLA, M
    [J]. TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1985, 4 (01): : 17 - 30
12345