Translation from Multisingular Hybrid Petri Nets to Multisingular Hybrid Automata
Abstract
References
- Translation from Multisingular Hybrid Petri Nets to Multisingular Hybrid Automata
Recommendations
Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets
The aim of this research has been to associate the modeling capacities of hybrid Petri nets with the analysis power of hybrid automata in order to perform formal verification of hybrid dynamic systems. In this paper, we propose an extension of hybrid ...
Parametric multisingular hybrid Petri nets
Multisingular hybrid Petri net (MSHPN) is an extension of hybrid Petri nets enriched with the capabilities of hybrid automata to achieve the practical expressive power of multisingular hybrid automata. In this paper, we define parametric multisingular ...
Modelling by Petri nets of the hybrid systems in electrical engineering
ISTASC'06: Proceedings of the 6th WSEAS International Conference on Systems Theory & Scientific ComputationPetri nets enable a discrete event system of any kind whatsoever to be modeled. They present two interesting characteristics. Firstly they make it possible to model and visualize behaviors comprising concurrency, synchronization and resource sharing. ...
Comments
Information & Contributors
Information
Published In
Publisher
IOS Press
Netherlands
Publication History
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
View options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in