RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Dvoryanskiy, Leonid Vladimirovich

Statistics Math-Net.Ru
Total publications: 3
Scientific articles: 3

Number of views:
This page:197
Abstract pages:747
Full texts:320
References:71
E-mail:
Keywords: models of distributing computing

Subject:

models of distributing computing

   
Main publications:
  1. 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

http://www.mathnet.ru/eng/person53683
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
2017
1. L. W. Dworzanski, V. E. Mikhaylov, “Tool for behavioral analysis of well-structured transition systems”, Proceedings of ISP RAS, 29:4 (2017),  175–190  mathnet  elib
2016
2. D. I. Samokhvalov, L. V. Dvoryanskiy, “Automatic code generation from nested Petri nets to event-based systems on the Telegram platform”, Proceedings of ISP RAS, 28:3 (2016),  65–84  mathnet  elib
2012
3. L. W. Dworzánski, I. A. Lomazova, “CPN Tools-Assisted Simulation and Verification of Nested Petri Nets”, Model. Anal. Inform. Sist., 19:5 (2012),  115–130  mathnet

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020