@book{6846554,
	author = {Анишев, П.А. and Бандман, О.Л.},
	title = {Алгоритмы и программы анализа свойств сетей Петри},
	publisher = {ВЦ СО АН СССР},
	year = {1988},
	series = {Препринт},
	address = {Новосибирск}
}