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 条
  • [31] 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
  • [32] Sensor selection for observability in Interpreted Petri Nets: a genetic approach
    Aguirre-Salas, L
    42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, : 3760 - 3765
  • [33] Multiple speci cation regulation control in interpreted Petri nets
    Sánchez-Blanco, JF
    Ram'rez-Treviño, A
    Santoyo, A
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4989 - 4994
  • [34] Verification and validation of control algorithms by coupling of interpreted Petri Nets
    Frey, G
    Litz, L
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 7 - 12
  • [35] Stochastic DES Fault Diagnosis with Coloured Interpreted Petri Nets
    Mariela Munoz, Doyra
    Correcher, Antonio
    Garcia, Emilio
    Morant, Francisco
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2015, 2015
  • [36] STRUCTURE DESIGN OF DISTRIBUTED SYSTEMS USING INTERPRETED PETRI NETS
    TANKOANO, J
    DERNIAME, JC
    PROCEEDINGS : THE THIRTEENTH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1989, : 41 - 51
  • [37] Automatic Specification Generation for Tracking Control in Interpreted Petri nets
    Guevara-Lozano, D.
    Vazquez, C. R.
    Ramirez-Trevino, A.
    2020 7TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT'20), VOL 1, 2020, : 341 - 346
  • [38] Petri net approach for logical inference of clauses
    Muppala, Jogesh K.
    Lin, Chuang
    IETE Journal of Research, 1996, 42 (03) : 141 - 147
  • [39] A Petri net approach for logical inference of clauses
    Muppala, JK
    Lin, C
    JOURNAL OF THE INSTITUTION OF ELECTRONICS AND TELECOMMUNICATION ENGINEERS, 1996, 42 (03): : 141 - 147
  • [40] PROGRAM REALIZATION OF PETRI NETS FOR ASYNCHRONOUS LOGICAL CONTROLLERS
    BUNKO, EB
    YUDITSKII, SA
    AUTOMATION AND REMOTE CONTROL, 1983, 44 (03) : 364 - 372
12345