Leonid W. Dworzanski

According to our database, Leonid W. Dworzanski authored at least 6 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Towards Dynamic-Point Systems on Metric Graphs with Longest Stabilization Time.

Leonid W. Dworzanski

CoRR, 2020

2016

Automatic construction of systems of distributed components from nested Petri nets models.

Leonid W. Dworzanski, Irina A. Lomazova

Program. Comput. Softw., 2016

Consistent Timed Semantics for Nested Petri Nets with Restricted Urgency.

Leonid W. Dworzanski

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets.

Leonid W. Dworzanski, Irina A. Lomazova

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2016

2013

CPN tools-assisted simulation and verification of nested Petri nets.

Leonid W. Dworzanski, Irina A. Lomazova

Autom. Control. Comput. Sci., 2013

2012

On Compositionality of Boundedness and Liveness for Nested Petri Nets.

Leonid W. Dworzanski, Irina A. Lomazova

Fundam. Informaticae, 2012