{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T07:13:39Z","timestamp":1730272419540,"version":"3.28.0"},"reference-count":7,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iscas.2005.1464699","type":"proceedings-article","created":{"date-parts":[[2005,7,27]],"date-time":"2005-07-27T17:52:28Z","timestamp":1122486748000},"page":"760-763","source":"Crossref","is-referenced-by-count":0,"title":["Minimal Time Reachability Problem of Some Subclasses of Timed Petri Nets"],"prefix":"10.1109","author":[{"given":"A.","family":"Ohta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Tsuji","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Hisamura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1991.176135"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.9746\/sicetr1965.24.635"},{"key":"6","first-page":"133","article-title":"a polynomial order algorithm for reachability of marked graphs","author":"nakagawa","year":"1993","journal-title":"Proceedings of the Workshop on Discrete Event Systems"},{"key":"5","first-page":"863","article-title":"on the computational complexity of the reachability problem for marked graphs","volume":"j73 a","author":"ohta","year":"1990","journal-title":"IEICE Trans on Fundamentals"},{"key":"4","first-page":"3","article-title":"ac\/dc-systems","author":"desel","year":"1989","journal-title":"Petri Net Newsletter"}],"event":{"name":"2005 IEEE International Symposium on Circuits and Systems","location":"Kobe, Japan"},"container-title":["2005 IEEE International Symposium on Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9898\/31469\/01464699.pdf?arnumber=1464699","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T16:01:12Z","timestamp":1602691272000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1464699"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/iscas.2005.1464699","relation":{},"subject":[]}}