Sagging-collapse sinkholes: simulation modelling von Khomenko, Victor

Volltext

Karst hazard assessment in the design of a residential complex in Moscow von Khomenko, Victor Petrovich, Leonenko, Mikhail Vasilievich, Lavrusevich, Andrey Alexandrovich

Volltext

Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings von Khomenko, Victor, Roux, Olivier H

Volltext

Municipal solid waste management in some countries of the world von Guman, Olga, Krinochkina, Olga, Khomenko, Victor, Wegner-Kozlova, Ekaterina

Volltext

A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets von Khomenko, Victor, Meyer, Roland, Hüchting, Reiner

Volltext

Burst Automaton: Framework for Speed-Independent Synthesis Using Burst-Mode Specifications von Chan, Alex, Sokolov, Danil, Khomenko, Victor, Lloyd, David, Yakovlev, Alex

Volltext

Algebra of Parameterised Graphs von Mokhov, Andrey, Khomenko, Victor

Volltext

Automating the Design of Asynchronous Logic Control for AMS Electronics von Sokolov, Danil, Khomenko, Victor, Mokhov, Andrey, Dubikhin, Vladimir, Lloyd, David, Yakovlev, Alex

Volltext

Application and Theory of Petri Nets and Concurrency: Special Issue of Selected Papers from Petri Nets 2018: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, J... von Khomenko, Victor, Roux, Olivier H.

Volltext

Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings - Lecture Notes in Compute... von Khomenko, Victor, Roux, Olivier H.

Volltext

Analysis and Synthesis of Weighted Marked Graph Petri Nets von Devillers, Raymond, Hujsa, Thomas

Volltext

Efficient Automatic Resolution of Encoding Conflicts Using STG Unfoldings : Asynchronous Circuits and Systems von KHOMENKO, Victor

Volltext

Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings

Volltext

Markings in Perpetual Free-Choice Nets Are Fully Characterized by Their Enabled Transitions von van der Aalst, Wil M. P.

Volltext

Factorisation of Petri Net Solvable Transition Systems von Devillers, Raymond, Schlachter, Uli

Volltext

GreatTeach: A Tool for Teaching (Stochastic) Petri Nets von Amparore, Elvio Gilberto, Donatelli, Susanna

Volltext

Recent advances in unfolding technique von Bonet, Blai, Haslum, Patrik, Khomenko, Victor, Thiébaux, Sylvie, Vogler, Walter

Volltext

Avoiding Exponential Explosion in Petri Net Models of Control Flows von Khomenko, Victor, Koutny, Maciej, Yakovlev, Alex

Volltext

Petri Net Model Checking with LoLA 2 von Wolf, Karsten

Volltext

One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs von Junges, Sebastian, Katoen, Joost-Pieter, Stoelinga, Mariëlle, Volk, Matthias

Volltext