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 条
  • [1] Logical Inference Modeled by Petri Nets
    Albu, Adriana
    2016 IEEE 11TH INTERNATIONAL SYMPOSIUM ON APPLIED COMPUTATIONAL INTELLIGENCE AND INFORMATICS (SACI), 2016, : 137 - 140
  • [2] INTERPRETED PETRI NETS AND GRAFCET
    MOALLA, M
    TSI-TECHNIQUE ET SCIENCE INFORMATIQUES, 1985, 4 (01): : 17 - 30
  • [3] Algebraic Structures in Interpreted Petri nets
    Renato Vazquez, Carlos
    Ramirez-Trevino, Antonio
    Navarro-Gutierrez, Manuel
    IFAC PAPERSONLINE, 2023, 56 (02): : 7893 - 7898
  • [4] Enforcing Diagnosability in Interpreted Petri Nets
    Hernandez-Rueda, K.
    Meda-Campana, M. E.
    Aramburo-Lizarraga, J.
    IFAC PAPERSONLINE, 2015, 48 (07): : 58 - 63
  • [5] Logical Petri Nets with Data
    Liu, Wei
    Wang, Pin
    Du, Yuyue
    Yan, Chun
    2015 FIFTH INTERNATIONAL CONFERENCE ON INSTRUMENTATION AND MEASUREMENT, COMPUTER, COMMUNICATION AND CONTROL (IMCCC), 2015, : 840 - 844
  • [6] Logical reasoning and Petri nets
    Lautenbach, K
    APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 276 - 295
  • [7] Interpreted Petri Nets in DES Control Synthesis
    Capkovic, Frantisek
    INTELLIGENT INFORMATION AND DATABASE SYSTEMS, ACIIDS 2016, PT I, 2016, 9621 : 377 - 387
  • [8] Model checking of Signal Interpreted Petri Nets
    Weng, XY
    Litz, L
    2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE, 2002, : 2748 - 2752
  • [9] PLC programming with signal interpreted Petri nets
    Klein, S
    Frey, G
    Minas, M
    APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 440 - 449
  • [10] Geometrical characterization of observability in Interpreted Petri Nets
    Rivera-Rangel, I
    Ramírez-Treviño, A
    Aguirre-Salas, LI
    Ruiz-León, J
    KYBERNETIKA, 2005, 41 (05) : 553 - 574
12345