Аннотация:
Развивается подход, связанный с описанием конвейерных дискретных процессов сетями Петри с запретом. Вводится понятие производительности такого процесса, понимаемой как суммарное число точек в позициях соответствующей сети Петри. Даются алгоритмы оптимизации описания.