№ 2 (2016) Григорьева Т. Е., Дмитриев В. М., Дмитриев И. В., Истигечева Е. В., Панов С. А. ФОРМАЛИЗМ СЕТЕЙ ПЕТРИ С ТРАНЗАКТАМИ ДЛЯ МОДЕЛИРОВАНИЯ БИЗНЕС-ПРОЦЕССОВ