For the most recent entries see the
Petri Nets Newsletter.
Khomenko, V.
-
Iliasov, Alexei;
Khomenko, Victor;
Koutny, Maciej;
Romanovsky, Alexander:
On Specification and Verification of Location-Based Fault Tolerant Mobile Systems.
2006.
-
Khomenko, Victor;
Kondratyev, Alex;
Koutny, Maciej;
Vogler, Walter:
Merged processes: a new condensed representation of Petri net behaviour.
.
-
Khomenko, Victor;
Koutny, Maciej:
Verification of bounded Petri nets using integer programming.
2006.
-
Khomenko, Victor;
Kondratyev, Alex;
Koutny, Maciej;
Vogler, Walter:
Merged processes: a new condensed representation of Petri net behaviour.
2006.
-
Khomenko, Victor;
Kondratyev, Alex;
Koutny, Maciej;
Vogler, Walter:
Merged Processes - A New Condensed Representation of Petri Net Behaviour.
2005.
-
Khomenko, Victor;
Kondratyev, Alex;
Koutny, Maciej;
Vogler, Walter:
Merged Processes - A New Condensed Representation of Petri Net Behaviour.
2005.
-
Schröter, Claus;
Khomenko, Victor:
Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings.
2004.
-
Carmona, Josep;
Cortadella, Jordi;
Khomenko, Victor;
Yakovlev, Alex:
Synthesis of Asynchronous Hardware from Petri Nets.
2004.
-
Khomenko, Victor;
Koutny, Maciej;
Yakovlev, Alex:
Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental SAT.
2004.
-
Khomenko, Victor;
Koutny, Maciej;
Yakovlev, Alex:
Detecting State Coding Conflicts in STG Unfoldings Using SAT.
2003.
-
Khomenko, Victor;
Koutny, Maciej:
Branching Processes of High-Level Petri Nets.
2003.
-
Khomenko, Victor;
Koutny, Maciej;
Vogler, Walter:
Canonical Prefixes of Petri Net Unfoldings.
2002.
-
Heljanko, Keijo;
Khomenko, Victor;
Koutny, Maciej:
Parallelisation of the Petri Net Unfolding Algorithm.
2002.
-
Khomenko, Victor;
Koutny, Maciej:
Towards an Efficient Algorithm for Unfolding Petri Nets.
2001.
-
Khomenko, V.;
Koutny, M.:
LP deadlock checking using partial order dependencies.
2000.
-
Khomenko, V.;
Koutny, M.;
Niaouris, A.:
Applying Petri Net Unfoldings for Verification of Mobile Systems.
06.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography