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
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;
Conference_Titel :
Machine and Web Intelligence (ICMWI), 2010 International Conference on
Conference_Location :
Algiers
Print_ISBN :
978-1-4244-8608-3
DOI :
10.1109/ICMWI.2010.5647893
