Методы анализа и синтеза систем обеспечения достоверности информации в АСУ I. Mоделирование и анализ систем обработки данных

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