{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T14:28:54Z","timestamp":1777645734685,"version":"3.51.4"},"reference-count":0,"publisher":"SAGE Publications","issue":"1","license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Fundamenta Informaticae"],"published-print":{"date-parts":[[2010,7]]},"abstract":"<jats:p>In this paper we consider a class of Time Petri nets defined by structural restrictions. Each Time Petri net which belongs to this class has the property that their liveness behaviour does not depend on the time. Therefore, the Time Petri net is live when its skeleton is live.<\/jats:p>","DOI":"10.3233\/fi-2010-293","type":"journal-article","created":{"date-parts":[[2019,12,2]],"date-time":"2019-12-02T23:11:56Z","timestamp":1575328316000},"page":"1-17","source":"Crossref","is-referenced-by-count":2,"title":["Time-independent Liveness in Time Petri Nets"],"prefix":"10.1177","volume":"102","author":[{"given":"J\u00f6rg","family":"Peter Bachmann","sequence":"first","affiliation":[{"name":"Department of Mathematics, Humbold University, Berlin, Germany. bachmanj@math.hu-berlin.de"}]},{"given":"Louchka","family":"Popova-Zeugmann","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Humboldt University, Berlin, Germany. popova@informatik.hu-berlin.de"}]}],"member":"179","published-online":{"date-parts":[[2010,1]]},"container-title":["Fundamenta Informaticae"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2010-293","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/FI-2010-293","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T06:33:10Z","timestamp":1777444390000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/FI-2010-293"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,7]]}},"alternative-id":["10.3233\/FI-2010-293"],"URL":"https:\/\/doi.org\/10.3233\/fi-2010-293","relation":{},"ISSN":["0169-2968","1875-8681"],"issn-type":[{"value":"0169-2968","type":"print"},{"value":"1875-8681","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1]]}}}