@book{5697078,
	author = {Кульба, В. В. and Миронов, Д.А.},
	title = {Отладка систем защиты с использованием сетей Петри},
	publisher = {ИПУ},
	year = {1990},
	address = {М.},
	edition = {Препр.}
}