{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,9,30]],"date-time":"2022-09-30T20:49:18Z","timestamp":1664570958086},"reference-count":0,"publisher":"Oxford University Press (OUP)","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IMA J Math Control Info"],"DOI":"10.1093\/imamci\/dnu025","type":"journal-article","created":{"date-parts":[[2014,7,15]],"date-time":"2014-07-15T02:10:55Z","timestamp":1405390255000},"page":"dnu025","source":"Crossref","is-referenced-by-count":5,"title":["Enumeration of reachable (forbidden, live and deadlock) states of<i>k<\/i>th order system of Petri nets"],"prefix":"10.1093","author":[{"given":"Daniel Yuh","family":"Chao","sequence":"first","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2014,7,13]]},"container-title":["IMA Journal of Mathematical Control and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/imamci\/article-pdf\/32\/4\/823\/6954821\/dnu025.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,24]],"date-time":"2017-08-24T12:48:30Z","timestamp":1503578910000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/imamci\/article-lookup\/doi\/10.1093\/imamci\/dnu025"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,13]]},"references-count":0,"alternative-id":["10.1093\/imamci\/dnu025"],"URL":"https:\/\/doi.org\/10.1093\/imamci\/dnu025","relation":{},"ISSN":["0265-0754","1471-6887"],"issn-type":[{"value":"0265-0754","type":"print"},{"value":"1471-6887","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,7,13]]}}}