{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T15:36:58Z","timestamp":1753889818621,"version":"3.41.2"},"reference-count":1,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2015,12,22]],"date-time":"2015-12-22T00:00:00Z","timestamp":1450742400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/arxiv.org\/licenses\/nonexclusive-distrib\/1.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>A Petri net is structurally cyclic if every configuration is reachable from\nitself in one or more steps. We show that structural cyclicity is decidable in\ndeterministic polynomial time. For this, we adapt the Kosaraju's approach for\nthe general reachability problem for Petri nets.<\/jats:p>","DOI":"10.2168\/lmcs-11(4:15)2015","type":"journal-article","created":{"date-parts":[[2016,11,21]],"date-time":"2016-11-21T13:46:40Z","timestamp":1479736000000},"source":"Crossref","is-referenced-by-count":1,"title":["Structurally Cyclic Petri Nets"],"prefix":"10.46298","volume":"Volume 11, Issue 4","author":[{"given":"Drewes","family":"Frank","sequence":"first","affiliation":[]},{"given":"Leroux","family":"J\u00e9r\u00f4me","sequence":"additional","affiliation":[]}],"member":"25203","published-online":{"date-parts":[[2015,12,22]]},"reference":[{"key":"1141:not-found"}],"container-title":["Logical Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/lmcs.episciences.org\/1616\/pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/lmcs.episciences.org\/1616\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,11]],"date-time":"2023-04-11T20:07:59Z","timestamp":1681243679000},"score":1,"resource":{"primary":{"URL":"https:\/\/lmcs.episciences.org\/1616"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,22]]},"references-count":1,"URL":"https:\/\/doi.org\/10.2168\/lmcs-11(4:15)2015","relation":{"is-same-as":[{"id-type":"arxiv","id":"1510.08331","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.1510.08331","asserted-by":"subject"}]},"ISSN":["1860-5974"],"issn-type":[{"type":"electronic","value":"1860-5974"}],"subject":[],"published":{"date-parts":[[2015,12,22]]},"article-number":"1616"}}