Анализ раскрашенных сетей Петри и синтез логических суждений. Применение CPN для моделирования бизнес процессов

Степанян  И.В.       

                         САПР-97-М

Анализ раскрашенных сетей Петри и синтез логических суждений.

Применение CPN для моделирования бизнес процессов

В процессе своей познавательной деятельности человечество всегда пыталось познать суть протекающих процессов в окружающей среде. Накапливая знание о природе таких явлений и процессов, человечество научилось строить их модели, выделять структурные составляющие, устанавливать связи и выделять общие, инвариантные к области применения закономерности анализа, синтеза и функционирования таких систем.

Дальнейшее развитие научного знания приводит к существенному увеличению его объемов, когда уже в рамках узких, подотраслевых вопросов объемы процессов восприятия нового знания превышают возможности человека по его усвоению и применению, не говоря уже о возможностях использовании межотраслевого опыта. При этом является рациональным решение, когда сочетаются наиболее общие подходы к решению проблемы с их конкретной технической реализацией. Возможность рассматривать любую систему, абстрагируясь от ее технической реализации, возможность переноса опыта по разработке и исследованию систем, решающих один крут задач, к системам, предназначенным для решения задач в иной области, говорит об открытости, как самих систем, так и о принципах, и подходах к их построению и исследованию.

Во многих областях исследований явление изучается непосредственно, а косвенно, через модель. Модель — это представление, как правило, в математических терминах того, что считается наиболее характерным в изучаемом объекте или системе. Ожидается, что, манипулируя представлением, можно получить новые знания о моделируемом явлении, избегая возможности, дороговизну или неудобства манипулирования самим реальным явлением.

Как правило, модели имеют математическую основу. Характеристики многих физических явлений можно описать числами, а связь этих характеристик — уравнениями или неравенствами. В частности, в естественных науках и технике уравнения описываются такие характеристики, как масса, положение в пространстве, момент, ускорение и силы. Однако для успешного использования подхода моделирования необходимо знание, как моделируемых явлений, так и свойств метода моделирования,

В технике все большее распространение получают параллельные системы с недетерминированным поведением, в которых отдельные компоненты функционируют параллельно и взаимодействуют асинхронно. Примерами таких систем могут служить многопроцессорные вычислительные машины, автоматизированные системы управления, автоматизированные интернет - и интранет-ресурсы корпораций. Одним из методов исследования таких систем является сетевое моделирование.

Основные принципы сетевого подхода к моделированию дискретных систем сводятся к абстрагированию от конкретных