@article{Булавский2018формализация,
author={Булавский, П.Е. and Ваисов, О.К.},
title={ФОРМАЛИЗАЦИЯ ПРОЦЕССОВ ЭЛЕКТРОННОГО ДОКУМЕНТООБОРОТА ТЕХНИЧЕСКОЙ ДОКУМЕНТАЦИИ С ПОМОЩЬЮ СЕТЕЙ ПЕТРИ},
journal={Автоматика на транспорте},
publisher={ФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I"},
year={2018},
pages={687-705},
volume={4},
issue={4},
}