Title :
A High-Level Fuzzy Timed Petri-Net-Based Approach
Author :
Liu, Xin ; Yin, Gui-Sheng ; Zhang, Zi-Ying
Author_Institution :
Coll. of Comput. Sci. & Technol., Harbin Eng. Univ., Harbin, China
Abstract :
In order to deal with the uncertain temporal knowledge of the complex real-time system and to improve the existed uncertain temporal knowledge expression and inference algorithm, a new kind of high-level fuzzy timed Petri nets was proposed based on fuzzy timed Petri nets (FTN). The uncertain temporal of the complex real-time can be quantitatively described and the time possibility can be analyzed after temporal constraint was added to resources and transitions of FTN. Finally, a case study was given to illustrate the usage of this approach. The temporal phenomena and laws of real-time system can be described more overall with HFTN. It is suitable for complex real-time system modeling and analysis.
Keywords :
Petri nets; fuzzy set theory; real-time systems; temporal logic; complex real-time system; high-level fuzzy timed petri-net-based approach; inference algorithm; uncertain temporal knowledge expression; Delay; Educational institutions; Fuzzy neural networks; Fuzzy sets; Fuzzy systems; Internet; Knowledge engineering; Petri nets; Real time systems; Uncertainty; conflict; fuzzy timed Petri nets; possibility analysis; temporal knowledge; uncertainty;
Conference_Titel :
Internet Computing for Science and Engineering (ICICSE), 2009 Fourth International Conference on
Conference_Location :
Harbin
Print_ISBN :
978-1-4244-6754-9
DOI :
10.1109/ICICSE.2009.62
