Modelling of Embedded Mechatronic Systems Using Hybrid Petri Nets
نویسندگان
چکیده
The paper describes the challenges of modelling hybrid embedded systems. It discusses the problems of modelling such systems and suggests the use of hybrid Petri nets. The potential of hybrid Petri nets is shown by modelling an exemplary embedded mechatronic system with a special hybrid Petri net class using a special modelling tool.
منابع مشابه
Towards a Complete Design Method for Embedded Systems Using Predicate/Transition–Nets
In this paper, we present a new approach to embedded system design based on modeling discrete and also continuous system parts with high level Petri–Nets. Our investigations concentrate on a complete design flow, analysis on high level Petri–Nets and their meaning for hardware/software partitioning of real-time embedded systems. The concepts for hybrid modeling of discrete and continuous system...
متن کاملTowards a Complete Design Method for Embedded Systems Using Predicatetrransition-Nets*
In this paper, we present a new approach to embedded system design based on modeling discrete and also continuous system parts with high level Petri-Nets. Our investigations concentrate on a complete design flow, analysis on high level Petri-Nets and their meaning for hardware/software partitioning of real-time embedded systems. The concepts for hybrid modeling of discrete and continuous system...
متن کاملDependability Evaluation of a Simple Mechatronic System Using Coloured Petri Nets
Mechatronic automotive systems are hybrid systems. Modelling and simulation of the interactions between continuous and discrete parts is essential to evaluate dependability. In this paper we show how a simple mechatronic system can be modelled in the CPN formalism. Quantitative dependability evaluation is obtained thanks to MonteCarlo simulation. We use the DesignCPN Occurrence Graph tool to va...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملAccessibility Evaluation in Biometric Hybrid Architecture for Protecting Social Networks Using Colored Petri Nets
In the last few decades, technological progress has been made important information systems that require high security, Use safe and efficient methods for protecting their privacy. It is a major challenge to Protecting vital data and the ability to threaten attackers. And this has made it important and necessary to be sensitive to the authentication and identify of individuals in confidential n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001