Testing OpenFlow interaction property based on hierarchy CPN | IEEE Conference Publication | IEEE Xplore