Метод минимизации модифицированных сетей Петри на основе их эквивалентных преобразований

АННОТАЦИЯ

Понятие эквивалентности в теории сетей Петри, основанное на равенстве языков сетей, очень громоздко для его практического воплощения при решении задачи минимизации сетей [3, с. 148]. В настоящей работе предлагается метод минимизации модифицированных сетей Петри, основанный на понятии условно-эквивалентных позиций и переходов.

ABSTRACT

The concept of equivalence theory Petri's networks based on equality languages of networks, is very bulky for its practical embodiment at the solution of the minimization networks problem [1, p. 148]. In the real work the method of minimization the modified Petri's networks based on concept of conditional and equivalent positions and transitions is offered.