Персоналии: Дворянский Леонид Владимирович

Персоналии

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Дворянский Леонид Владимирович

E-mail:

Ключевые слова:

модели распределенных вычислений.

Основные темы научной работы

модели распределенных вычислений.

Основные публикации:

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

	Публикации в базе данных Math-Net.Ru	Цитирования
	2022
1.	L. V. Dvoryanskiy, “Overapproximation of the number of active timers in timed-arc Petri nets using DP-systems”, Труды ИСП РАН, 34:5 (2022), 183–194
	2020
2.	A. A. Izmaylov, L. W. Dworzanski, “Automated analysis of DP-systems using timed-arc Petri nets via TAPAAL tool”, Труды ИСП РАН, 32:6 (2020), 155–166
	2017
3.	L. W. Dworzanski, V. E. Mikhaylov, “Tool for behavioral analysis of well-structured transition systems”, Труды ИСП РАН, 29:4 (2017), 175–190	1
	2016
4.	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	3
	2012
5.	Л. В. Дворянский, И. А. Ломазова, “Имитационное моделирование и верификация вложенных сетей Петри с использованием CPNTools”, Модел. и анализ информ. систем, 19:5 (2012), 115–130	1

Организации

Обратная связь: