@book{104940,
	author = {JENSEN},
	title = {COLOURED PETRI NETS: MODELLING AND VALIDATION OF CONCURRENT SYSTEMS},
	publisher = {SPRINGER},
	edition = {1}
}