Voevoda, Alexandr, Alexandr Markov, and Dmitry Romannikov. “Software Development: Software Design Using UML Diagrams and Petri Nets for Example Automated Process Control System of Pumping Station”. SPIIRAS Proceedings 3, no. 34 (June 30, 2014): 218-231. Accessed July 3, 2024. http://ia.spcras.ru/index.php/sp/article/view/1861.