1. Voevoda A., Markov A., Romannikov D. Software Development: Software Design Using UML Diagrams and Petri Nets for Example Automated Process Control System of Pumping Station // SPIIRAS Proceedings. 2014. № 34 (3). C. 218-231.