Leonid W Dworzanski
TitleCited byYear
On compositionality of boundedness and liveness for nested Petri nets
LW Dworzański, IA Lomazova
Fundamenta Informaticae 120 (3-4), 275-293, 2012
172012
CPN tools-assisted simulation and verification of nested Petri nets
LW Dworzański, IA Lomazova
Automatic Control and Computer Sciences 47 (7), 393-402, 2013
122013
NPNtool: Modelling and analysis toolset for nested Petri nets
L Dworzanski, D Frumin
Proceedings of the Spring/Summer Young Researchers Colloquium on Software, 2013
92013
Structural place invariants for analyzing the behavioral properties of nested petri nets
LW Dworzanski, IA Lomazova
International Conference on Application and Theory of Petri Nets and, 2016
32016
Compositionality of some behavioral properties for free-choice nested Petri nets
LV Dvoryansky, IA Lomazova
Proc. Second Workshop Program Semantics, Specification and Verification, 2011
32011
Automatic construction of systems of distributed components from nested Petri nets models
LW Dworzanski, IA Lomazova
Programming and Computer Software 42 (5), 292-306, 2016
22016
Consistent Timed Semantics for Nested Petri Nets with Restricted Urgency
LW Dworzanski
International Conference on Formal Modeling and Analysis of Timed Systems, 3-18, 2016
22016
Automatic code generation from nested petri nets to event-based systems on the telegram platform
DI Samokhvalov, LW Dworzanski
28 (3), 2016
22016
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
22013
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
The system can't perform the operation now. Try again later.
Articles 1–12