STOCHASTIC HIGH-LEVEL PETRI NETS AND APPLICATIONS

被引：45
|
作者：
LIN, CA [1 ]
MARINESCU, DC [1 ]
机构：
[1] PURDUE UNIV,DEPT COMP SCI,W LAFAYETTE,IN 47907
来源：
IEEE TRANSACTIONS ON COMPUTERS | 1988年 / 37卷 / 07期
关键词：
D O I：
10.1109/12.2227
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：815 / 825
页数：11
相关论文
共 50 条
  • [1] HIGH-LEVEL ALGEBRAIC PETRI NETS
    KAN, CY
    HE, XD
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1995, 37 (01) : 23 - 30
  • [2] Z AND HIGH-LEVEL PETRI NETS
    VANHEE, KM
    SOMERS, LJ
    VOORHOEVE, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 204 - 219
  • [3] 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
  • [4] 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
  • [5] SYSTEM MODELING WITH HIGH-LEVEL PETRI NETS
    GENRICH, HJ
    LAUTENBACH, K
    [J]. THEORETICAL COMPUTER SCIENCE, 1981, 13 (01) : 109 - 136
  • [6] A methodology of testing high-level Petri nets
    Zhu, H
    He, XD
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2002, 44 (08) : 473 - 489
  • [7] 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
  • [8] 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
  • [9] CONFLICT HANDLING IN HIGH-LEVEL PETRI NETS
    JAVOR, A
    VIGH, A
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1993, 39 (2-5): : 133 - 136
  • [10] Modelling mobility in high-level Petri nets
    Devillers, Raymond
    Klaudel, Hanna
    Koutny, Maciej
    [J]. SEVENTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2007, : 110 - +
12345