On Compositionality of Boundedness and Liveness for Nested Petri Nets. - Leonid W. Dworzanski; Irina A. Lomazova (Fundam. Informaticae, 2012)

CPN tools-assisted simulation and verification of nested Petri nets. - Leonid W. Dworzanski; Irina A. Lomazova (Autom. Control. Comput. Sci., 2013)

Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets. - Leonid W. Dworzanski; Irina A. Lomazova (Petri Nets, 2016)

Consistent Timed Semantics for Nested Petri Nets with Restricted Urgency. - Leonid W. Dworzanski (FORMATS, 2016)

Automatic construction of systems of distributed components from nested Petri nets models. - Leonid W. Dworzanski; Irina A. Lomazova (Program. Comput. Softw., 2016)

Towards Dynamic-Point Systems on Metric Graphs with Longest Stabilization Time. - Leonid W. Dworzanski (CoRR, 2020)