{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T07:30:02Z","timestamp":1775028602503,"version":"3.50.1"},"reference-count":13,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2015,1]]},"DOI":"10.1109\/tac.2014.2322991","type":"journal-article","created":{"date-parts":[[2014,5,9]],"date-time":"2014-05-09T18:08:24Z","timestamp":1399658904000},"page":"205-210","source":"Crossref","is-referenced-by-count":1,"title":["On the Complexity of Some State-Counting Problems for Bounded Petri Nets"],"prefix":"10.1109","volume":"60","author":[{"given":"Spyros","family":"Reveliotis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1137\/0208032"},{"key":"ref11","author":"papadimitriou","year":"1994","journal-title":"Computational Complexity"},{"key":"ref12","author":"west","year":"2001","journal-title":"Introduction to Graph Theory"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1098-2418(199712)11:4<395::AID-RSA7>3.0.CO;2-U"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2159112"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(79)90044-6"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/3-540-65306-6_19","article-title":"Linear algebraic and linear programming techniques for the analysis of place\/transition net systems","volume":"1491","author":"silva","year":"1998","journal-title":"Lecture Notes in Computer Science"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-012-0139-x"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2008.2009095"},{"key":"ref1","first-page":"364","article-title":"Explicit storage and analysis of billions of states using commodity computers","author":"wang","year":"0","journal-title":"Proc WODES'12"},{"key":"ref9","article-title":"On the deadlock analysis of multithreaded control software","author":"lopez grao","year":"0","journal-title":"Proceedings of ETFA'11"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/6994898\/06813593.pdf?arnumber=6813593","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:27:34Z","timestamp":1642004854000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6813593\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1]]},"references-count":13,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tac.2014.2322991","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,1]]}}}