Voevoda, A., Markov, A. and Romannikov, D. 2014. Software Development: Software Design Using UML Diagrams and Petri Nets for Example Automated Process Control System of Pumping Station. SPIIRAS Proceedings. 3, 34 (Jun. 2014), 218-231. DOI:https://doi.org/10.15622/sp.34.11.