{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T03:22:21Z","timestamp":1722914541915},"reference-count":7,"publisher":"Nanyang Technological Univ","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icarcv.2002.1234792","type":"proceedings-article","created":{"date-parts":[[2004,4,23]],"date-time":"2004-04-23T14:38:15Z","timestamp":1082731095000},"page":"69-72","source":"Crossref","is-referenced-by-count":0,"title":["The persistence of the Petri Net state-space"],"prefix":"10.1109","volume":"1","author":[{"given":"K.","family":"Okada","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Wasaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Y.","family":"Shidama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","article-title":"A Rapd HDL Generation for A pipelined DESEnchiher Circuit by using the Logical Coloured. Petri Net","author":"wasaki","year":"2000","journal-title":"ICARCV"},{"key":"ref3","first-page":"61","article-title":"Automatic HDL Generation for A DES Codec for an Encrypted NFS Server based on an Extended Petri Net","author":"yarnaguchi","year":"2001","journal-title":"DESDes"},{"article-title":"HOW TO RELAX","year":"2000","author":"murata","key":"ref6"},{"journal-title":"RENEW (The Refer ence Net Workshop)","year":"2001","key":"ref5"},{"article-title":"Relaxer\/Documenta","year":"2000","author":"asruni","key":"ref7"},{"article-title":"PETRI NET THEORY AND THE MODELING OF SYSTEM","year":"1981","author":"peterson","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"}],"event":{"name":"ICARV 2002: The Seventh International Conference on Control, Automation, Robotics and Vision","acronym":"ICARCV-02","location":"Singapore"},"container-title":["7th International Conference on Control, Automation, Robotics and Vision, 2002. ICARCV 2002."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8741\/27681\/01234792.pdf?arnumber=1234792","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T20:08:03Z","timestamp":1489435683000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1234792\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/icarcv.2002.1234792","relation":{},"subject":[]}}