Abstract: Some novel applications such as network security event and tracing lineage of IOT,etc. presented many chal- lenges for the lineage studying of complex event Because of the presence of factors including fuzzy time and uncertain transfer of state, tracing the lineage of complex event often encounter inaccurate derived time and hard reverse derivation problem, therefore the evolution lineage of complex event can not be traced or queried effectively. A reverse derivation model with the provenance semantic, called I3REI门N (backward reasoning extended fuzzy time petri net) , was proposed for such problems, and based on this model, a backward reasoning algorithm according to time automation theory was designed. Given goal places) and other conditions,it can not only get all information evolution path and analyze the possibility distribution of path,but also efficiently compute the fuzzy time function value of the state and transition of complex events. Finally, the completeness of BREI}TN model and the properties of evolution path were analyzed, and the performance of algorithm was verified by experiments.

Key words: Complex event, Lineage, Fuzzy time Petri net, Time automation