{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:26:34Z","timestamp":1759638394093},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540100010"},{"type":"electronic","value":"9783540393221"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10001-6_24","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:58:43Z","timestamp":1330171123000},"page":"213-223","source":"Crossref","is-referenced-by-count":77,"title":["Linear algebra in net theory"],"prefix":"10.1007","author":[{"given":"G.","family":"Memmi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Roucairol","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"4_CR1","unstructured":"E. Best, H. Schmid. Systems of open paths in Petrinets. Proc. of the Symp. ou M.F.C.S. 75. Lect. Notes in Comp. Sc. no 32. Springer Verlag ed. 1975."},{"key":"4_CR2","unstructured":"F. Commoner. Deadlocks in Petri nets. CA-7206-2311, Applied Data Research, Wakefield, Mass., June 1972."},{"key":"4_CR3","unstructured":"T.C. HU. Integer Programming and networks flows. Addison Wesley reading. Mass. 1969."},{"key":"4_CR4","unstructured":"H.G. Genrich, K. Lautenbach, P.S. Thiagarajan. An overview of net theory. In this volume."},{"key":"4_CR5","unstructured":"M. Hack. Analysis of production schemata by Petri nets. M.S. Thesis, MAC TR 94, MIT Cambridge Mass. sept. 1972."},{"key":"4_CR6","unstructured":"M. Jantzen, R. Valk. Formal properties of place-transition nets. In this volume."},{"key":"4_CR7","unstructured":"K. Lautenbach. Exakte Bedingungen der Lebendigkeit f\u00fcr eine Klasse von Petri-Netzen. St. Augustin, GMD Bonn, Bericht nr. 82 (1973)."},{"key":"4_CR8","unstructured":"K. Lautenbach, H.A. Schmid. Use of nets for proving correctness of concurrent systems. Proc. IFIP Congress 74. North-Holland Publ. Comp. (1974)."},{"issue":"2","key":"4_CR9","first-page":"251","volume":"5","author":"Y. E. Lien","year":"1976","unstructured":"Y.E. Lien. Termination properties of generalized Petri-nets. S.I.A.M. j. Comp., June 1976, Vol. 5, no2, pages 251\u2013265.","journal-title":"S.I.A.M. j. Comp."},{"issue":"4","key":"4_CR10","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0020-0255(76)90054-2","volume":"10","author":"Y. E. Lien","year":"1976","unstructured":"\u2014 A note on transition systems. J. inf. Sciences 1976, vol.10, no4, p. 347\u2013362.","journal-title":"J. inf. Sciences"},{"key":"4_CR11","unstructured":"G. Memmi. Semiflows and invariants. Applications in Petri nets theory. Journ\u00e9es d'\u00e9tude sur les r\u00e9seaux de Petri. A.F.C.E.T. Institut de Programmation. Paris mars 1977."},{"key":"4_CR12","unstructured":"G. Memmi. \u2014Application of the semiflow to the boundedness and liveness problems in the Petri-nets theory. Proc. of the Conf. on Information Sciences and Systems. Johns Hopkins University. Baltimore Maryland. march 1978."},{"key":"4_CR13","unstructured":"-Fuites et semi-flots dans les R\u00e9seaux de Petri. Th\u00e8se de Docteur-Ing\u00e9nieur. Institut de Programmation. Universit\u00e9 Paris 6. Dec. 1978."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"G. Memmi. Notion de dualit\u00e9 et de sym\u00e9trie dans les r\u00e9seaux de Petri. Proc. of the Symp. on Semantics of concurrent computations. Evian July 1979. Lect. Notes in Comp. Sciences no70. Springer-Verlag ed.","DOI":"10.1007\/BFb0022465"},{"issue":"3","key":"4_CR15","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1109\/TAC.1977.1101509","volume":"AC-22","author":"T. Murata","year":"1977","unstructured":"T. Murata. State equations, controllability, maximal matchings of Petri nets. IEEE Trans. Autom. and Control. Vol. AC-22 no3, June 1977, pp. 412\u2013416.","journal-title":"IEEE Trans. Autom. and Control."},{"key":"4_CR16","unstructured":"G. Ramchandani. Analysis of asynchronous concurrent systems by timed Petri-nets. Ph. D thesis. MAC-TR-120. Cambridge Mass. Feb. 1974."},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"J. Sifakis. Structural properties of Petri-nets. Proc. of M.F.C.S. 78 Lect. Notes in Comp. Sciences. Springer Verlag ed. 1978.","DOI":"10.1007\/3-540-08921-7_95"},{"key":"4_CR18","unstructured":"J. Sifakis. Use of Petri-nets for performance evaluation. In this volume."}],"container-title":["Lecture Notes in Computer Science","Net Theory and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10001-6_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:32:57Z","timestamp":1619541177000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10001-6_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100010","9783540393221"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-10001-6_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}