Leonid W Dworzanski
Leonid W Dworzanski
Подтвержден адрес электронной почты в домене hse.ru - Главная страница
НазваниеПроцитированоГод
On compositionality of boundedness and liveness for nested Petri nets
LW Dworzański, IA Lomazova
Fundamenta Informaticae 120 (3-4), 275-293, 2012
152012
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
112013
NPNtool: modelling and analysis toolset for nested petri nets
L Dworzanski, D Frumin
Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2013
72013
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
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
22016
Compositionality of some behavioral properties for free-choice nested Petri nets
LV Dvoryansky, IA Lomazova
Proc. Second Workshop “Program Semantics, Specification and Verification …, 2011
22011
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
12016
Automatic code generation from nested petri nets to event-based systems on the telegram platform
DI Samokhvalov, LW Dworzanski
Труды Института системного программирования РАН 28 (3), 2016
12016
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
12013
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
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–12