process KoLTL {
	res Resource 5
	
	wd WD1
		req Resource 3
	wd WD2
		req Resource 3
	wd WD3
	
	ws f2f from WD1 to WD2
	ws f2s from WD1 to WD3
	ws f2s from WD2 to WD3
}