{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,26]],"date-time":"2026-03-26T02:49:51Z","timestamp":1774493391481,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540111894","type":"print"},{"value":"9783642683534","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/978-3-642-68353-4_47","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T10:25:56Z","timestamp":1320229556000},"page":"301-310","source":"Crossref","is-referenced-by-count":133,"title":["A simple and Fast Algorithm to Obtain all Invariants of a Generalised Petri Net"],"prefix":"10.1007","author":[{"given":"J.","family":"Mart\u00ednez","sequence":"first","affiliation":[]},{"given":"M.","family":"Silva","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"47_CR1","doi-asserted-by":"crossref","unstructured":"Agerwala T.: Putting Petri Nets to Work. Computer, December, pp. 85\u201394.","DOI":"10.1109\/MC.1979.1658580"},{"key":"47_CR2","unstructured":"Andre C., Armand P., Boeri F. Synchronic relations and applications in parallel computation. Digital Process. Vol.5, n\u00b02, pp. 99\u2013113."},{"key":"47_CR3","unstructured":"Berthomieu B.: Analyse structurelle des r\u00e9seaux de P\u00e9tri, M\u00e9thodes et outils. Th\u00e8se Doc. Ing., Univ. Paul Saba-tier, Toulouse, Septembre."},{"key":"47_CR4","unstructured":"Jensen K.: How to find invariants for Colored Petri Nets. DAIMI PB-120 Computer Science Departament, Aarhus University, May, pp. 1\u201320."},{"key":"47_CR5","unstructured":"Lautenbach K., Schmid H.A.: Use of Petri Nets for proving correctness of concurrent process systems. IFIP 74 North Holland Pub. Co., pp. 187\u2013191."},{"key":"47_CR6","doi-asserted-by":"crossref","unstructured":"Lien Y.E.: A Note on Transition Systems. J. Information Science, vol. 10, n\u00b04, June, pp. 251\u2013265.","DOI":"10.1016\/0020-0255(76)90054-2"},{"key":"47_CR7","doi-asserted-by":"crossref","unstructured":"Memmi G., Roucairol G.: Linear algebra in net theory. Advanced Course on General Net Theory of Process and Systems. Hamburg, October. Lecture Notes in Computer Science, n\u00b084, Springer Verlag, pp. 213\u2013223.","DOI":"10.1007\/3-540-10001-6_24"},{"key":"47_CR8","doi-asserted-by":"crossref","unstructured":"Peterson J.L.: Petri Nets. Computing Surveys, Vol. 9, n\u00b03, September, pp. 223\u2013251.","DOI":"10.1145\/356698.356702"},{"key":"47_CR9","doi-asserted-by":"crossref","unstructured":"Sifakis J.: Structural properties of Petri Nets. Mathematical Foundations of Computer Science, J. Winkowski Ed., Springer Verlag, pp. 474\u2013483.","DOI":"10.1007\/3-540-08921-7_95"},{"key":"47_CR10","unstructured":"SILV 8l] Silva M.: Las Redes de Petri en la Autom\u00e2tica y la Inform\u00e2tica Editorial AC, Madrid, in press."}],"container-title":["Informatik-Fachberichte","Application and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-68353-4_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:28:15Z","timestamp":1606256895000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-68353-4_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540111894","9783642683534"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-68353-4_47","relation":{},"ISSN":["0343-3005"],"issn-type":[{"value":"0343-3005","type":"print"}],"subject":[],"published":{"date-parts":[[1982]]}}}