Concurrent reasoning of fuzzy logical Petri nets based on multi-task schedule

Models of fuzzy Petri net (FPN) are defined based on generating rules of kn owledge base and the Petri nets semantics description of logical rules are presented. Two kinds of reasoning patterns are considered. First, the belie fs of initial propositions are known and their beliefs of noninitial propos itions need to be computed. Second, the beliefs of initial propositions are known and the beliefs of goal propositions need to be computed. The concur rent reasoning algorithms of the two patterns based on multitask schedule a re proposed. The application of this model and reasoning algorithm is discu ssed.