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 条
  • [31] 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
  • [32] 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
  • [33] 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
  • [34] 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
  • [35] Separation of control and data flow in high-level Petri nets: Transforming Dual Flow Nets into Object Petri Nets
    Farwer, Berndt
    Varea, Mauricio
    [J]. FUNDAMENTA INFORMATICAE, 2006, 72 (1-3) : 123 - 137
  • [36] High-Level Petri Nets with Object-Orientation - A High-Level Petri Net Model Allowing Multiple Inheritance and Multiple Polymorphism
    Brezovan, Marius
    Burdescu, Dumitru
    Ganea, Eugen
    Stanescu, Liana
    [J]. INTELLIGENT DISTRIBUTED COMPUTING IV, 2010, 315 : 219 - 228
  • [37] Synchronous and asynchronous communications in composable parameterized high-level Petri nets
    Devillers, R
    Klaudel, H
    [J]. FUNDAMENTA INFORMATICAE, 2005, 66 (03) : 221 - 257
  • [38] Management of e-learning processes with high-level Petri nets
    Keferstein, Kirsten
    Mevius, Marco
    Oberweis, Andreas
    [J]. PROCEEDINGS OF THE EIGHTH IASTED INTERNATIONAL CONFERENCE ON COMPUTERS AND ADVANCED TECHNOLOGY IN EDUCATION, 2005, : 347 - 352
  • [39] OPENET: Ontology-based engine for high-level Petri nets
    Vidal, Juan C.
    Lama, Manuel
    Bugarin, Alberto
    [J]. EXPERT SYSTEMS WITH APPLICATIONS, 2010, 37 (09) : 6493 - 6509
  • [40] PETRI NETS AS EXECUTABLE SPECIFICATIONS OF HIGH-LEVEL TIMED PARALLEL SYSTEMS
    Pommereau, Franck
    [J]. SCALABLE COMPUTING-PRACTICE AND EXPERIENCE, 2005, 6 (04): : 71 - 81
12345