LOGICAL INFERENCE ON INTERPRETED PETRI NETS

被引：0
|
作者：
VAGIN, VN
ZAKHAROV, VN
ROZENBLYUM, LY
机构：
来源：
SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES | 1988年 / 26卷 / 03期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：98 / 105
页数：8
相关论文
共 50 条
  • [21] Decision support with logical and fuzzy petri nets
    Lehocki, Fedor
    Juhas, Gabriel
    Lorenz, Robert
    Szczerbicka, Helena
    Drozda, Martin
    CYBERNETICS AND SYSTEMS, 2008, 39 (06) : 617 - 640
  • [22] Inference Approach Based on Petri Nets
    Luo, JiLiang
    Tan, KaiCheng
    Luo, HuaiJu
    Zhou, MengChu
    INFORMATION SCIENCES, 2021, 547 : 1008 - 1024
  • [23] Composition of Logical Petri Nets and Compatibility Analysis
    Luan, Wenjing
    Qi, Liang
    Du, Yuyue
    IEEE ACCESS, 2017, 5 : 9152 - 9162
  • [24] Fault Diagnosis of Electrical Systems using Interpreted Petri Nets
    Santoyo-Sanchez, A.
    Ruiz-Beltran, E.
    Aguirre-Salas, L. I.
    Ortiz-Muro, V. H.
    2008 IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, 2008, : 538 - +
  • [25] Deadlock Detection and Avoidance using Signal Interpreted Petri Nets
    Aspar, Z.
    Khalil-Hani, Mohamed
    Shaikh-Husin, Nasir
    2012 IEEE INTERNATIONAL CONFERENCE ON CIRCUITS AND SYSTEMS (ICCAS), 2012, : 150 - 155
  • [26] Observability of discrete event systems modeled by interpreted Petri nets
    Ramírez-Treviño, A
    Rivera-Rangel, I
    López-Mellado, E
    IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2003, 19 (04): : 557 - 565
  • [27] Regulation Control in Interpreted Petri Nets Under Partial Observation
    Jimenez-Ochoa, Italia
    Guevara-Lozano, Daniel
    Vazquez, C. Renato
    Ramirez-Trevino, Antonio
    IFAC PAPERSONLINE, 2020, 53 (02): : 2101 - 2107
  • [28] Observability in interpreted Petri nets using sequence invariants.
    Aguirre-Salas, L
    Begovich, O
    Ramirez-Treviño, A
    PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 2002, : 3602 - 3607
  • [29] State estimation in DES modeled by a class of Interpreted Petri Nets
    Aguirre-Salas, L
    Begovich, O
    Ramirez-Treviño, A
    PROCEEDINGS OF THE 2002 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL, 2002, : 574 - 579
  • [30] Regulation control in interpreted Petri nets using trace equivalence
    Sánchez-Blanco, JP
    Ramírez-Treviño, A
    Santoyo, A
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 1843 - 1848
12345