Analysis and visualization of OpenFlow rule conflicts