{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T19:19:49Z","timestamp":1730229589093,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icarcv.2004.1469468","type":"proceedings-article","created":{"date-parts":[[2005,7,27]],"date-time":"2005-07-27T13:52:28Z","timestamp":1122472348000},"page":"1994-1999","source":"Crossref","is-referenced-by-count":0,"title":["The design verification for the 3DES encipher chip based on an extended Petri net and XML\/Java executor"],"prefix":"10.1109","volume":"3","author":[{"given":"S.","family":"Yamaguchi","sequence":"first","affiliation":[]},{"given":"A.","family":"Nishino","sequence":"additional","affiliation":[]},{"given":"K.","family":"Wasaki","sequence":"additional","affiliation":[]},{"given":"Y.","family":"Shidama","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/32.21759"},{"key":"2","article-title":"Coloured Petri Nets, basic concepts, analysis methods and practical use","volume":"1","author":"jensen","year":"1992","journal-title":"Basic Concepts"},{"journal-title":"RELAX Official Site","year":"0","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"7","first-page":"101","article-title":"Capacity of the Logical Colored Petri Net (LCnet) as a CASE Tool","volume":"cas93 69","author":"wasaki","year":"1993","journal-title":"Technical report of IEICE"},{"key":"6","first-page":"37","article-title":"Extended Petri Nets for control system software","author":"wasaki","year":"1993","journal-title":"Technical report of IEICE"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1973.5009149"},{"key":"4","first-page":"1326","article-title":"Petri Net based programming system for FMS","volume":"e75 a","author":"nagao","year":"1992","journal-title":"IEICE Trans Fundamentals"},{"journal-title":"Renew (The Reference Net Workshop)","year":"0","key":"9"},{"key":"8","article-title":"Basic concepts for Petri Nets with boolean markings","volume":"4","author":"kawamoto","year":"1993","journal-title":"Journal of Formalized Mathmatics"},{"volume":"46","journal-title":"Data encryption standard","year":"1997","key":"11"},{"key":"12","first-page":"157","article-title":"Verification and realization for the distributed parallel systems based on an extended Petri Net and XML\/Java executor","volume":"1","author":"yamaguchi","year":"2003","journal-title":"First International Workshop on Automated Technology for Verification and Analysis (ATVA'2003)"}],"event":{"name":"2004 8th International Conference on Control, Automation, Robotics and Vision (ICARCV)","acronym":"ICARCV-04","location":"Kunming, China"},"container-title":["ICARCV 2004 8th Control, Automation, Robotics and Vision Conference, 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9908\/31515\/01469468.pdf?arnumber=1469468","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T12:03:36Z","timestamp":1602677016000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1469468"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/icarcv.2004.1469468","relation":{},"subject":[]}}