Графы Петри (сети Петри)(ориентированный граф)(самое сложное средство формализации) хорошо применим при синтезе программ и очень хорошо используется при параллельном программировании. 2. Методы теории автоматов – используются в основном для описания последовательных процессов при формализации структур управления в виде функционально зависимых состояний. Если нужно описывать динамику, то это сложно и нужно описывать несколько функционирующих систем. // Формализация библиотек – хорошо применимы иерархические цветные сети.
Сайт создан в системе uCoz
|