From high-level Petri nets to SystemC

被引：0
|
作者：
Rust, C [1 ]
Rettberg, A [1 ]
Gossens, K [1 ]
机构：
[1] Univ Paderborn, C LAB, Paderborn, Germany
来源：
2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS | 2003年
关键词：
Petri nets; SystemC; embedded systems; system synthesis;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The paper introduces an approach for realizing high-level Petri net-models in SystemC. The presented approach contributes to an existing methodology for the Petri net-based design of distributed embedded real-time systems. It is intended to be a vehicle for realizing Petri net-components in hardware. The paper describes the use of standard SystemC language constructs to realize the firing of a high-level Petri net, which is assumed to be separated into partitions. The execution includes for instance the execution of single transitions, the handling of conflicting transitions, the realization of transition delays and the communication between Petri net-components realized in different partitions. Besides techniques for realizing these mechanisms, the integration of the code generation into the overall design flow is discussed.
引用
收藏
页码：1032 / 1038
页数：7
相关论文
共 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] STOCHASTIC HIGH-LEVEL PETRI NETS AND APPLICATIONS
    LIN, CA
    MARINESCU, DC
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (07) : 815 - 825
  • [7] A methodology of testing high-level Petri nets
    Zhu, H
    He, XD
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2002, 44 (08) : 473 - 489
  • [8] CONFLICT HANDLING IN HIGH-LEVEL PETRI NETS
    JAVOR, A
    VIGH, A
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1993, 39 (2-5): : 133 - 136
  • [9] 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
  • [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