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
L. V. Dvoryanskiy, “Overapproximation of the number of active timers in timed-arc Petri nets using DP-systems”, Proceedings of ISP RAS, 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”, Proceedings of ISP RAS, 32:6 (2020), 155–166
2017
3.
L. W. Dworzanski, V. E. Mikhaylov, “Tool for behavioral analysis of well-structured transition systems”, Proceedings of ISP RAS, 29:4 (2017), 175–190
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
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
Contact us: