О компонентном анализе параллельных распраделенных систем.

Журнал: 
Страница: 
71
УДК: 
519.713.1:51.681.3
Представлена методология верификации параллельных и распределенных систем с помощью компонентных сетей Петри. Использование компонентных сетей Петри для моделирования параллельных и распределенных систем значительно уменьшает размеры модели и сокращает время верификации. Представленная методология изучена на примере верификации задачи о пяти философах.  
info_eng: 
The method of verification of parallel and distributed system by Component Petry Nets is offered. The using of Component Petry Nets for the design of parallel and distributed systems considerably diminishes model sizes and abbreviates time of verification. The presented methodology is studied on the example of verification of task of five philosophers.