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

Лукьянова Е. А. О компонентном анализе параллельных распраделенных систем. // Taurida Journal of Computer Science Theory and Mathematics, – 2011. – T.10. – №2. – P. 71-
logo DOI https://doi.org/10.37279/1729-3901-2011-10-2-71-81
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.
UDC: 
519.713.1:51.681.3