Modeling of critical systems implementing negative events using dual Petri nets

This work is devoted to solving the problem of modeling critical systems based on the use of modified Petri nets. The dual (binary) Petri net one of the modifications, which allows us to view inversing events at the same time, solving the problem with the possibility of deadlocks. Construction of schemes using fuzzy logic makes it possible to calculate the values of linguistic variables obtained knowledge. Petri dual network allows you to organize the exclusion of negative events by introducing additional links. In accordance with the rules, it is possible to construct a dual fuzzy Petri net, which involves the use of maximum and minimum transitions or appropriate logical calculations of conjunctions and disjunctions. Transition from classical Petri nets to dual fuzzy nets, realizes fuzzy knowledge of logical deriving that gives the chance in construction of expert systems with fuzzy logic solving a problem of data analysis.