{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:19:41Z","timestamp":1759637981154},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540089216"},{"type":"electronic","value":"9783540357575"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/3-540-08921-7_95","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:37:46Z","timestamp":1330169866000},"page":"474-483","source":"Crossref","is-referenced-by-count":27,"title":["Structural properties of petri nets"],"prefix":"10.1007","author":[{"given":"Joseph","family":"Sifakis","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"44_CR1","unstructured":"A.W. HOLT, F. COMMONER, \"Events and Conditions\", Information system theory project, Applied Data Research Inc."},{"key":"44_CR2","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1016\/S0022-0000(71)80013-2","volume":"5","author":"F. Commoner","year":"1971","unstructured":"F. COMMONER, A.W. HOLT, S. EVEN, A. PNUELI, \"Marked directed graphs\", J. Comp. System Sci., 5 (1971) pp. 511\u2013523.","journal-title":"J. Comp. System Sci."},{"key":"44_CR3","unstructured":"M. HACK, \"Analysis of production schemata by Petri nets\", MIT, Project MAC, TR 94 (1972)."},{"key":"44_CR4","doi-asserted-by":"crossref","unstructured":"E. BEST, H.A. SCHMID, \"Systems of open paths in Petri nets\", Lecture Notes in Comp. Sci., no 32, Sept. 1975, pp. 186\u2013193.","DOI":"10.1007\/3-540-07389-2_194"},{"key":"44_CR5","unstructured":"K. LAUTENBACH, \"Liveness in Petri nets\", G.M.D. Internal report ISF-75-02.1, July 1975, Bonn."},{"issue":"2","key":"44_CR6","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1137\/0205020","volume":"5","author":"Y. Edmund Lien","year":"1976","unstructured":"Y. EDMUND LIEN, \"Termination properties of generalized Petri nets\", SIAM J. COMPUT., Vol. 5, No 2, June 1976, pp 251\u2013265.","journal-title":"SIAM J. COMPUT."},{"key":"44_CR7","unstructured":"K. LAUTENBACH, H.A. SCHMID, \"Use of Petri nets for proving correctness of concurrent process systems\", IFIP 1974, North Holland Publ. Co., 1974, pp 187\u2013191."},{"key":"44_CR8","unstructured":"S. CRESPI REGHIZZI, D. MANDRIOLLI, \"Some algebraic properties of Petri nets\", Alta Frequenza, no 2, Vol XLV, pp 130\u2013137."},{"key":"44_CR9","unstructured":"C. RAMCHANDANI, \"Analysis of asynchronous concurrent systems by timed Petri nets\", PhD Thesis, MIT, Sept. 1973."},{"key":"44_CR10","unstructured":"T. MURATA, R.W. CHURCH, \"Analysis of marked graphs and Petri nets by matrix equations\", R.R. No M.D.C. 1.1.8, Univ. of Illinois, Nov. 1975."},{"key":"44_CR11","unstructured":"G. MEMMI, \"Semiflows and invariants. Applications in Petri nets theory\", Journ\u00e9es sur les r\u00e9seaux de Petri, March 1977, Paris, pp 145\u2013150."},{"key":"44_CR12","unstructured":"J. SIFAKIS, \"Use of Petri nets for performance evaluation\" in \"Measuring, Modeling and Evaluation Computer Systems\", pp 75\u201393, North Holland, Publ. Co., 1977."},{"key":"44_CR13","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0020-0255(76)90054-2","volume":"10","author":"Y. E. Lien","year":"1976","unstructured":"Y.E. LIEN, \"A note on transition systems\", Information Sciences 10, pp 347\u2013362 (1976).","journal-title":"Information Sciences"},{"key":"44_CR14","doi-asserted-by":"crossref","unstructured":"G.B. DANTZIG, \"Linear programming and extensions\", Princeton Univ. Press, 1963.","DOI":"10.7249\/R366"},{"key":"44_CR15","unstructured":"M. HACK, \"Decision Problems for Petri nets and vector addition systems\" MAC Techn. Mem. 59, M.I.T., March 1975."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1978"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08921-7_95.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:00:28Z","timestamp":1605625228000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08921-7_95"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540089216","9783540357575"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-08921-7_95","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1978]]}}}