DocumentCode
3277912
Title
Hybrid Petri nets based approach for analyzing complex dynamic systems
Author
Hakiki, Rafika ; Sekhri, Larbi
Author_Institution
Comput. Sci. Dept., Senia Univ., Oran, Algeria
fYear
2010
fDate
3-5 Oct. 2010
Firstpage
180
Lastpage
184
Abstract
This paper presents a mapping algorithm to deal with a new class of hybrid Petri net (HPN) called Discrete Continue elementary HPN. The method enables us to analyze some system´s properties using the linear hybrid automaton generated by the mapping process. The method is applied to a three tanks water system and analyzed by a PHAVer software tool. Its effectiveness is illustrated by numerical simulation results.
Keywords
Petri nets; automata theory; discrete event systems; large-scale systems; reachability analysis; complex dynamic system; discrete continue elementary HPN; hybrid Petri net approach; linear hybrid automaton; mapping algorithm; software tool; water tank system; Algorithm design and analysis; Automata; Computational modeling; Heuristic algorithms; Mathematical model; Petri nets; Software algorithms; Evolution graph; Hybrid Petri nets; Hybrid system; Linear hybrid automaton;
fLanguage
English
Publisher
ieee
Conference_Titel
Machine and Web Intelligence (ICMWI), 2010 International Conference on
Conference_Location
Algiers
Print_ISBN
978-1-4244-8608-3
Type
conf
DOI
10.1109/ICMWI.2010.5647893
Filename
5647893
Link To Document