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 条
  • [21] Development of an international standard for high-level Petri nets
    Billington, J
    THIRD IEEE INTERNATIONAL SOFTWARE ENGINEERING STANDARDS SYMPOSIUM AND FORUM (ISESS 97) - EMERGING INTERNATIONAL STANDARDS, PROCEEDINGS, 1997, : 155 - 162
  • [22] Weak and strong composition of high-level Petri nets
    Best, E
    Lavrov, A
    CONCUR'99: CONCURRENCY THEORY, 1999, 1664 : 194 - 209
  • [23] Comparative study and categorization of high-level petri nets
    Gerogiannis, VC
    Kameas, AD
    Pintelas, PE
    JOURNAL OF SYSTEMS AND SOFTWARE, 1998, 43 (02) : 133 - 160
  • [24] TOWARDS REACHABILITY TREES FOR HIGH-LEVEL PETRI NETS
    HUBER, P
    JENSEN, AM
    JEPSEN, LO
    JENSEN, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 188 : 215 - 223
  • [25] A reasoning algorithm for high-level fuzzy petri nets
    Scarpelli, H
    Gomide, F
    Yager, RR
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 1996, 4 (03) : 282 - 294
  • [26] Generalised composition operations for high-level Petri nets
    Best, Eike
    Lavrov, Alexander
    Fundamenta Informaticae, 1999, 40 (2-3): : 125 - 163
  • [27] PUTTING HIGH-LEVEL PETRI NETS TO WORK IN INDUSTRY
    VANDERAALST, WMP
    COMPUTERS IN INDUSTRY, 1994, 25 (01) : 45 - 54
  • [28] Reinforcement learning for high-level fuzzy Petri nets
    Shen, VRL
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2003, 33 (02): : 351 - 362
  • [29] OBJS']JSA NETS - A CLASS OF HIGH-LEVEL NETS HAVING OBJECTS AS DOMAINS
    BATTISTON, E
    DECINDIO, F
    MAURI, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 340 : 20 - 43
  • [30] Simulating Train Dispatching Logic with High-Level Petri Nets
    Jeremic, Dusan
    Milinkovic, Sanjin
    Kasalica, Sandra
    TEHNICKI VJESNIK-TECHNICAL GAZETTE, 2021, 28 (02): : 639 - 648