Hybrid high-level nets

Authors:
Ralf Wieting
Affiliations:
Oldenburger Forschungs- und Entwicklungsinstitut für, Informatik-Werkzeuge-und Systeme (OFFIS), Escherweg 2, D-26121 Oldenburg, Germany
Venue:
WSC '96 Proceedings of the 28th conference on Winter simulation
Year:
1996

Citing 6
Cited 13

High-level Petri nets: theory and application

High-level Petri nets: theory and application
Extending high-level Petri nets for modeling hybrid systems

Systems Analysis Modelling Simulation
Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems

Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems
Modelling Differential Equations by Basic Information Technology Means

EUROCAST '95 Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory
Efficient Simulation of THOR Nets

Proceedings of the 16th International Conference on Application and Theory of Petri Nets
FSPNs: Fluid Stochastic Petri Nets

Proceedings of the 14th International Conference on Application and Theory of Petri Nets

Hybrid-system simulation for National Airspace System safety analysis

Proceedings of the 32nd conference on Winter simulation
On Hybrid Petri Nets

Discrete Event Dynamic Systems
Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts

Formal Methods in System Design
Prototyping Pre-implementation Designs of Virtual Environment Behaviour

EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
A model-based approach for real-time embedded multimodal systems in military aircrafts

Proceedings of the 6th international conference on Multimodal interfaces
Modular design and verification of component-based mechatronic systems with online-reconfiguration

Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Formal description of a multimodal interaction technique in an immersive virtual reality application

IHM 2003 Proceedings of the 15th French-speaking conference on human-computer interaction on 15eme Conference Francophone sur l'Interaction Homme-Machine
An approach integrating two complementary model-based environments for the construction of multimodal interactive applications

Interacting with Computers
An infrastructure for experience centered agile prototyping of ambient intelligence

Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too

Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends
Exploring the specification of haptic interaction

DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
A methodology to specify three-dimensional interaction using Petri Nets

Journal of Visual Languages and Computing
Very-high-fidelity prototyping for both presentation and dialogue parts of multimodal interactive systems

EHCI-DSVIS'04 Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems

Quantified Score

Hi-index	0.00

Visualization

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 language and illustrates its usefulness with a small example.