А. М. Парнюк, “Petri Nets as a means of modelling the mechanism rendezvous of Ada language”, EEJET, vol. 5, no. 2(59), pp. 26–30, Oct. 2012.