On compositionality of boundedness and liveness for nested Petri nets LW Dworzański, IA Lomazova Fundamenta Informaticae 120 (3-4), 275-293, 2012 | 22 | 2012 |
CPN tools-assisted simulation and verification of nested Petri nets LW Dworzański, IA Lomazova Automatic Control and Computer Sciences 47, 393-402, 2013 | 18 | 2013 |
Structural place invariants for analyzing the behavioral properties of nested petri nets LW Dworzanski, IA Lomazova International Conference on Applications and Theory of Petri Nets and …, 2016 | 11 | 2016 |
NPNtool: Modelling and analysis toolset for nested Petri nets L Dworzanski, D Frumin Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2013 | 10 | 2013 |
The tool for modeling of wireless sensor networks with nested Petri nets N Buchina, L Dworzanski Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2013 | 8 | 2013 |
Towards dynamic-point systems on metric graphs with longest stabilization time LW Dworzanski arXiv preprint arXiv:2010.12528, 2020 | 5 | 2020 |
Automatic code generation from nested Petri nets to event-based systems on the telegram platform DI Samokhvalov, LW Dworzanski Труды Института системного программирования РАН 28 (3), 65-84, 2016 | 5* | 2016 |
Consistent timed semantics for nested Petri nets with restricted urgency LW Dworzanski Formal Modeling and Analysis of Timed Systems: 14th International Conference …, 2016 | 5 | 2016 |
Automated analysis of DP-systems using timed-arc Petri nets via TAPAAL tool AA Izmaylov, LW Dworzanski Труды Института системного программирования РАН 32 (6), 155-166, 2020 | 4* | 2020 |
Compositionality of some behavioral properties for free-choice nested Petri nets LV Dvoryansky, IA Lomazova Proc. Second Workshop “Program Semantics, Specification and Verification …, 2011 | 4 | 2011 |
Automatic construction of systems of distributed components from nested Petri nets models LW Dworzanski, IA Lomazova Programming and Computer Software 42, 292-306, 2016 | 2 | 2016 |
Overapproximation of the Number of Active Timers in Timed-Arc Petri Nets Using DP-Systems LW Dworzanski Труды Института системного программирования РАН 34 (5), 183-194, 2022 | | 2022 |
Structural Traps of Nested Petri nets LW Dworzanski | | 2019 |
Modular Construction of Time Petri Net Reachability Graphs I Knizhnikova, L Dworzanski Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2014 | | 2014 |
On Temporal Properties of Nested Petri Nets LW Dworzanski, DI Frumin Foresight, 2013 | | 2013 |
Towards a Translation from Nested Petri Nets into Colored Petri Nets LV Dvoryansky, IA Lomazova Вестник Нижневартовского государственного гуманитарного университета, 95-100, 2010 | | 2010 |