В. Д. Кузовик and О. Б. Іванець, “Use of networks Petri for rational control of technological process”, Proceedings of National Aviation University, vol. 16, no. 1, pp. 118–121, Mar. 2003.