L.V. Dvoryansky, I.A. Lomazova, “On Compositionality of Boundedness and Liveness for Nested Petri Nets”, CONCURRENCY, SPECIFICATION AND PROGRAMMING, Proceedings of the international workshop CS&P 2011 (Pułtusk, Poland), ред. M. Szczuka et al., Białystok University of Technology, Białystok, 2011, 123–134
D. I. Samokhvalov, L. V. Dvoryanskiy, “Automatic code generation from nested Petri nets to event-based systems on the Telegram platform”, Труды ИСП РАН, 28:3 (2016), 65–84
Л. В. Дворянский, И. А. Ломазова, “Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools”, Модел. и анализ информ. систем, 19:5 (2012), 115–130