The design verification for the 3DES encipher chip based on an extended Petri net and XML/Java executor. - Shinnosuke Yamaguchi; A. Nishino; Katsumi Wasaki; Yasunari Shidama (ICARCV, 2004)