{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:07:27Z","timestamp":1775052447105,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540100010","type":"print"},{"value":"9783540393221","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10001-6_28","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:58:58Z","timestamp":1330189138000},"page":"277-290","source":"Crossref","is-referenced-by-count":15,"title":["Reductions of nets and parallel programs"],"prefix":"10.1007","author":[{"given":"G.","family":"Berthelot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Roucairol","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Valk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/3-540-07854-1_175","volume":"45","author":"G. Berthelot","year":"1976","unstructured":"Berthelot, G., Roucairol, G.: Reduction of Petri Nets. in: Proc. of the Symp. on MFCS 76, Lect. Notes in Computer Sci. 45, pp 202\u2013209, Springer Berlin, (1976).","journal-title":"Proc. of the Symp. on MFCS 76, Lect. Notes in Computer Sci."},{"key":"8_CR2","unstructured":"Berthelot, G.: Verification de r\u00e9seaux de Petri. Th\u00e8se de 3\u00b0 cycle, Institut de Programmation, Univ. Paris 6, (1978)."},{"key":"8_CR3","unstructured":"Berthelot, G.: Preuves de non-blocage de programmes parall\u00e9les par reduction de r\u00e9seaux de Petri. in: Proc. of the 1st European Conference on Parallel and Distributed Processing, J.C.Syre ed., CEPADUES publ., (1979)"},{"key":"8_CR4","volume-title":"Sequential Processes, Deadlocks, and Semaphore Primitives. TR7-75","author":"W. H. Byrn","year":"1975","unstructured":"Byrn, W.H.: Sequential Processes, Deadlocks, and Semaphore Primitives. TR7-75, Havard Univ., Cambridge, Mass., (1975)."},{"key":"8_CR5","unstructured":"Cotronis, J.Y., Lauer, P.E.: Verification of Concurrent Systems of Processes. in: Proc. of the International Computing Symposium 1977, Li\u00e8ge; (1977)."},{"key":"8_CR6","unstructured":"Dadda, L.: The Synthesis of Petri Nets for Controlling Purposes and the Reduction of their Complexity. in: Proc. of the EUROMICRO Conf. North-Holland pub., (1976)."},{"issue":"11","key":"8_CR7","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1145\/987361.987365","volume":"7","author":"K. Gostelow","year":"1972","unstructured":"Gostelow, K., Gerf, V.G., Estrin, G., Volansky, S.,: Proper Termination of Flow of Control in Programs involving Concurrent Processes. SIGPLAN Notices 7,11,72 (1972).","journal-title":"SIGPLAN Notices"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Jantzen,M., Valk,R.: Formal Properties of Place Transition Nets. in: these Proceedings.","DOI":"10.1007\/3-540-10001-6_23"},{"key":"8_CR9","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1007\/3-540-07135-0_113","volume":"24","author":"R. M. Keller","year":"1975","unstructured":"Keller, R.M.: A Fundamental Theorem of Asynchronous Parallel Computation. in: Parallel Processing, Lecture Notes in Computer Sci., 24, pp 102\u2013112, Springer, Berlin, (1975).","journal-title":"Parallel Processing, Lecture Notes in Computer Sci."},{"key":"8_CR10","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1007\/3-540-09510-1_29","volume":"71","author":"W. Kowalk","year":"1979","unstructured":"Kowalk, W., Valk, R.: On Reductions of Parallel Programs. in: Automata, Languages and Programming, Lecture Notes in Computer Sci. 71, pp 356\u2013369, Springer, Berlin, (1979).","journal-title":"Automata, Languages and Programming, Lecture Notes in Computer Sci."},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0304-3975(77)90041-X","volume":"5","author":"Y. S. Kwong","year":"1977","unstructured":"Kwong, Y.S.: On Reduction of Asynchronous Systems., Theor. Computer Sci. 5, pp 25\u201350, (1977).","journal-title":"Theor. Computer Sci."},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1145\/361227.361234","volume":"18","author":"R. J. Lipton","year":"1975","unstructured":"Lipton, R.J.: Reduction: A Method of Proving Properties of Parallel Programs, Comm. ACM 18, pp 717\u2013721, (1975).","journal-title":"Comm. ACM"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Memmi, G., Roucairol, G.: Linear Algebra in Net Theory. in: these Proceedings.","DOI":"10.1007\/3-540-10001-6_24"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BF00268134","volume":"6","author":"S. Owicki","year":"1976","unstructured":"Owicki, S., Gries, P.: An Axiomatic Proof Technique for Parallel Programs I. Acta Informatica 6, pp319\u2013340, (1976).","journal-title":"Acta Informatica"}],"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_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:32:59Z","timestamp":1619555579000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10001-6_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100010","9783540393221"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-10001-6_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1980]]}}}