(Enter summary)
Abstract: 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... (Update)
Context of citations to this paper: More
.... formal specification languages and comprise hybrid process algebras [7] hybrid automata [1, 5, 11] and hybrid high level Petri Nets [28, 27]. All of these languages have a formal semantics. Specifications written in such a language would therefore be amenable to mathematical...
.... of the new modeling methodology were presented in Wieting and Sonnenschein (1995) A detailed description of HyNets is given in Wieting (1996). For the understanding of the rest of the paper it follows a short summary of the basic firing rule of HyNets illustrated on small...
Cited by: More
Virtual Environments as Hybrid Systems - Shamus Smith And (1999)
(Correct)
Hybrid Sequence Charts - Radu Grosu Ingolf (2000)
(Correct)
Modeling And Simulation Of Hybrid Systems Using Hybrid High-Level .. - Wieting (1996)
(Correct)
Active bibliography (related documents): More All
0.5: A Methodology For Complex Embedded Systems Design -.. - Machado, Fernandes.. (2000)
(Correct)
0.4: Integrated Design and Simulation of Hybrid Systems - Lehrenfeld, Naumann.. (1998)
(Correct)
0.2: A design environment using High-Level Petri-Nets as.. - Kleinjohann, Tacken.. (1997)
(Correct)
Similar documents based on text: More All
0.2: Extending High-level Petri Nets for Modeling Hybrid Systems - Wieting, Sonnenschein (1995)
(Correct)
0.2: Taking Advantage of the Symbiotic Relationship between Tools .. - Buschermöhle, al. (2003)
(Correct)
0.2: Spatial Data Analysis Support for Cancer Epidemiology in CARESS - Wietek, Kamp
(Correct)
Related documents from co-citation: More All
4: High-level Petri Nets: Theory and Application (context) - Jensen, Rozenberg - 1991
4: Extending High-level Petri Nets for Modeling Hybrid Systems
- Wieting - 1995
4: Moving Objects in Space: Exploiting Proprioception in Virtual-Environment Intera..
- Mine, Brooks et al. - 1997
BibTeX entry: (Update)
R. Wieting. Hybrid high-level nets. In Winter Simulation Conference, 1996. Coronado, California. http://citeseer.ist.psu.edu/wieting96hybrid.html More
@inproceedings{ wieting96hybrid,
author = "Ralf Wieting",
title = "Hybrid High-Level Nets",
booktitle = "Winter Simulation Conference",
pages = "848-855",
year = "1996",
url = "citeseer.ist.psu.edu/wieting96hybrid.html" }
Citations (may not include all citations):
85
Kommunikation mit Automaten (context) - Petri - 1962
54
High-level Petri Nets --- Theory and Application (context) - Jensen - 1991
19
Hybrid Petri Nets (context) - Le Bail, Alla et al. - 1991
15
Hybrid Modelling focused on Hybrid Petri Nets
- Pettersson - 1995
7
Extending High-level Petri Nets for Modeling Hybrid Systems
- Wieting - 1995 ACM
5
Modelling Differential Equations by Basic Information Techno.. (context) - Brielmann - 1995 ACM DBLP
2
Petri Nets & Grafcet --- Tools for modelling discrete event .. (context) - David - 1992
1
Combined Continuous/Discrete System Simulation by Use of Dig.. (context) - Rep, Paderborn et al. - 1979
1
Eine objektorientierte Beschriftungssprache hoherer Petrinet.. (context) - Majchszak - 1996
1
Analysis and Application (context) - thesis, Informatik et al. - 1989
1
Communication with Automata (context) - Nr, Instrumentelle et al. - 1966
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC