Виды формальных систем, используемых для описания ПФ ЧМС

Принципиально для формального описания дискретных ПФ ЧМС могут применяться следующие формальные системы:

1. Алгебраические (марковские и полумарковские процессы, регрессионные модели, модели теории массового обслуживания и др.), которые не отражают логики описываемого процесса, хотя и позволяют интерпретировать модели ПФ ЧМС с позиций безошибочности и быстродействия.

2. Языковые (формальные грамматики, сети Петри, схемы Янова, граф-схемы алгоритмов, схемы алгоритмов Ляпунова и др.) позволяют хорошо описывать ПФ ЧМС, но не имеют аналитических средств дляего интерпретации с позиций безошибочности и быстродействия.

3. Языково-алгебраические (графики по методу критического пути, сети предшествования, сети PERT и сети GERT), которые обладают хорошим сочетанием свойств описательности и интерпретируемости (оценки) ПФ ЧМС. Однако, несмотря на широкие возможности перечисленных систем, они имеют ряд следующих ограничений:

1) по описанию параллельных процессов, что имеет место при групповой деятельности в сложных ЧМС;

2) обладают значительной трудоемкостью при реализации методов интерпретации;

3) ограничены по представлению в логико-лингвистической форме;

4) не позволяют учесть влияние ошибок человека-оператора и отказов техники на устойчивость ПФ ЧМС и т. п.

Наибольшими возможностями по описанию и оценке ПФ ЧМС обладают функциональные сети (ФС) - математический аппарат, используемый в функционально-структурной теории описания и оценки ЧМС. Функциональная сеть состоит из типовых функциональных структур (ТФС), включающих совокупность типовых функциональных единиц (ТФЕ), являющихся элементами алфавита языка описания ПФ ЧМС.