Вы здесь

Khomenko V.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Merged processes: a new condensed representation of Petri net behaviour 2005 Khomenko V., Kondratyev A., Koutny M., Vogler W. Acta Informatica 11.01.2007
СТ Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings 2004 Schroeter C., Khomenko V. Lecture Notes in Computer Science Lecture Notes in Computer Science 04.09.2004
СТ Canonical pretixes of Petri net unfoldings 2003 Khomenko V., Koutny M., Vogler W. Acta Informatica 02.12.2003
СТ Branching Processes of High-Level Petri Nets 2003 Khomenko V., Koutny M. Lecture Notes in Computer Science 17.04.2003
СТ Parallelization of the Petri Net Unfolding Algorithm 2002 Hejanko K., Khomenko V., Koutny M. Lecture Notes in Computer Science 21.05.2002
СТ Towards an Efficient Algorithm for Unfolding Petri Nets 2001 Khomenko V., Koutny M. Lecture Notes in Computer Science 04.10.2001

Редактор: