№ 2 (2016) Grigorieva T.E., Dmitriev V. M., Dmitriev I. V., Istigecheva E. V., Panov S. A. FORMALISM OF PETRINETS WITH TRANSACTSFORBUSINESS PROCESSMODELLING