Generalized Net Model of an Expert System Dealing with Temporal Hypothesis

A theory of the Generalized nets was used to construct a generalized net model which describes the possibility to evaluate the time of the occurrence or completion of the events. Twenty predicates for checking the validity of the special circumstances, related to time-moments of two events were introduced. The model can be used to analyze the specific moments in which the facts have happened. In result we can answer questions such as: “Is the fact valid?” “How many facts it contradicts”, “How many facts it confirms?”