@article{Bulavsky2018formalization,
author={Bulavsky, P.E. and Vaisov, O.K.},
title={Formalization of electronic processesdocumentation of the technical documentationwith the network of Petri networks},
journal={Transport automation research},
publisher={FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"},
year={2018},
pages={687-705},
volume={4},
issue={4},
}