Hybrid High-level Nets

被引:0
|
作者
Wieting, R
机构
关键词
D O I
暂无
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
This paper presents a new methodology for modeling and simulation of hybrid systems which is called Hybrid High-level Nets (HYNETS). The new methodology integrates three established modeling approaches into one language. High-level Petri Nets represent the basic discrete framework, differential algebraic equations (DAEs) are used to describe continuous systems behavior and object-oriented concepts improve the expressiveness and compactness of models. The paper explains basic ideas of the language and illustrates its usefulness with a small example.
引用
收藏
页码:848 / 855
页数:8
相关论文
共 50 条
  • [1] High-level hybrid petri nets: A definition
    Giua, A
    Usai, E
    PROCEEDINGS OF THE 35TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1996, : 148 - 150
  • [2] High-level nets with nets and rules as tokens
    Hoffmann, K
    Ehrig, H
    Mossakowski, T
    APPLICATIONS AND THEORY OF PETRI NETS 2005, PROCEEDINGS, 2005, 3536 : 268 - 288
  • [3] TIMED HIGH-LEVEL NETS
    MORASCA, S
    PEZZE, M
    TRUBIAN, M
    REAL-TIME SYSTEMS, 1991, 3 (02) : 165 - 189
  • [4] HIGH-LEVEL ALGEBRAIC PETRI NETS
    KAN, CY
    HE, XD
    INFORMATION AND SOFTWARE TECHNOLOGY, 1995, 37 (01) : 23 - 30
  • [5] Z AND HIGH-LEVEL PETRI NETS
    VANHEE, KM
    SOMERS, LJ
    VOORHOEVE, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 204 - 219
  • [6] HIGH-LEVEL NETS AND LINEAR LOGIC
    LILIUS, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 616 : 310 - 321
  • [7] COMPOSITION OF ALGEBRAIC HIGH-LEVEL NETS
    DIMITROVICI, C
    HUMMERT, U
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 534 : 52 - 73
  • [8] A class of high-level Petri Nets: XML algebraic nets
    Tang, Da
    Li, Ye
    Wang, Xiu-Kun
    Dalian Ligong Daxue Xuebao/Journal of Dalian University of Technology, 2008, 48 (06): : 912 - 918
  • [9] Branching processes of high-level Petri nets
    Khomenko, V
    Koutny, M
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2003, 2619 : 458 - 472
  • [10] SYSTEM MODELING WITH HIGH-LEVEL PETRI NETS
    GENRICH, HJ
    LAUTENBACH, K
    THEORETICAL COMPUTER SCIENCE, 1981, 13 (01) : 109 - 136