Уравнения состояний стохастических временных сетей Петри с информационными связями

Abstract

Розглянуто застосування мереж Петрі з часовими затримками для імітаційного моделювання систем. Отримано рівняння перетворень стану мережі Петрі та фундаментальні матричні рівняння стохастичної мережі Петрі з часовими затримками, багатоканальними та конфліктними переходами, інформаційними зв’язками.The use of timed Petri nets in systems simulation is analyzed. The equations of timed Petri net state transformations and fundamental matrix equations of stochastic timed Petri net with conflict and multi-transitions, with information ties are obtained.