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 条
  • [1] SYSTEM MODELING WITH HIGH-LEVEL PETRI NETS
    GENRICH, HJ
    LAUTENBACH, K
    [J]. THEORETICAL COMPUTER SCIENCE, 1981, 13 (01) : 109 - 136
  • [2] HIGH-LEVEL ALGEBRAIC PETRI NETS
    KAN, CY
    HE, XD
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1995, 37 (01) : 23 - 30
  • [3] Z AND HIGH-LEVEL PETRI NETS
    VANHEE, KM
    SOMERS, LJ
    VOORHOEVE, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 204 - 219
  • [4] Abstract Petri nets as a uniform approach to high-level petri nets
    Padberg, J
    [J]. RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1999, 1589 : 241 - 260
  • [5] Information system behavior specification by high-level Petri nets
    Oberweis, A
    Sander, P
    [J]. ACM TRANSACTIONS ON INFORMATION SYSTEMS, 1996, 14 (04) : 380 - 420
  • [6] Branching processes of high-level Petri nets
    Khomenko, V
    Koutny, M
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2003, 2619 : 458 - 472
  • [7] A methodology of testing high-level Petri nets
    Zhu, H
    He, XD
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2002, 44 (08) : 473 - 489
  • [8] STOCHASTIC HIGH-LEVEL PETRI NETS AND APPLICATIONS
    LIN, CA
    MARINESCU, DC
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (07) : 815 - 825
  • [9] From high-level Petri nets to SystemC
    Rust, C
    Rettberg, A
    Gossens, K
    [J]. 2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 1032 - 1038
  • [10] High-level hybrid petri nets: A definition
    Giua, A
    Usai, E
    [J]. PROCEEDINGS OF THE 35TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1996, : 148 - 150
12345