PROGRAMMING A CLOSELY COUPLED MULTIPROCESSOR SYSTEM WITH HIGH-LEVEL PETRI NETS

被引：0
|
作者：
HARTUNG, G [1 ]
机构：
[1] RHEIN WESTFAL TH AACHEN, ROGOWSKI INST, D-5100 AACHEN, FED REP GER
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 340卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：154 / 174
页数：21
相关论文
共 50 条
  • [31] HIGH-LEVEL TIMED PETRI NETS AS A KERNEL FOR EXECUTABLE SPECIFICATIONS
    FELDER, M
    GHEZZI, C
    PEZZE, M
    [J]. REAL-TIME SYSTEMS, 1993, 5 (2-3) : 235 - 248
  • [32] AN OBJECT-ORIENTED APPROACH TO HIGH-LEVEL PETRI NETS
    CAMURRI, A
    FRANCHI, P
    VITALE, M
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 213 - 220
  • [33] Design of intelligent mechatronical systems with high-level Petri nets
    Koch, M
    Rust, C
    Kleinjohann, B
    [J]. PROCEEDINGS OF THE 2003 IEEE/ASME INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT MECHATRONICS (AIM 2003), VOLS 1 AND 2, 2003, : 217 - 222
  • [34] A test case generator for the validation of high-level Petri nets
    Desel, J
    Oberweis, A
    Zimmer, T
    Zimmermann, G
    [J]. ETFA '97 - 1997 IEEE 6TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION PROCEEDINGS, 1997, : 327 - 332
  • [35] Verification of distributed systems modelled by high-level Petri nets
    Kozura, VE
    Nepomniaschy, VA
    Novikov, RM
    [J]. PAR ELEC 2002: INTERNATIONAL CONFERENCE ON PARALLEL COMPUTING IN ELECTRICAL ENGINEERING, 2002, : 61 - 66
  • [36] Finite symbolic reachability graphs for high-level Petri nets
    Hameurlain, N
    Sibertin-Blanc, C
    [J]. ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE AND INTERNATIONAL COMPUTER SCIENCE CONFERENCE, PROCEEDINGS, 1997, : 150 - 159
  • [37] APPLICATION OF HIGH-LEVEL FUZZY PETRI NETS TO FALL DETECTION SYSTEM USING SMARTPHONE
    Shen, Victor R. L.
    Lai, Horng-Yih
    Lai, Ah-Fur
    [J]. PROCEEDINGS OF 2013 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS (ICMLC), VOLS 1-4, 2013, : 1429 - 1435
  • [38] A methodological approach for using high-level Petri Nets to model the immune system response
    Pennisi, Marzio
    Cavalieri, Salvatore
    Motta, Santo
    Pappalardo, Francesco
    [J]. BMC BIOINFORMATICS, 2016, 17
  • [39] AN AUTOMATIC CALIBRATION SYSTEM FOR CHINESE KARAOKE LYRICSBASED ON HIGH-LEVEL FUZZY PETRI NETS
    Shen, Victor R. L.
    Chen, Hung-Chi
    [J]. PROCEEDINGS OF 2014 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS (ICMLC), VOL 2, 2014, : 544 - 549
  • [40] A methodological approach for using high-level Petri Nets to model the immune system response
    Marzio Pennisi
    Salvatore Cavalieri
    Santo Motta
    Francesco Pappalardo
    [J]. BMC Bioinformatics, 17
12345