The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor | IEEE Conference Publication | IEEE Xplore