{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:45Z","timestamp":1725663165957},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540100034"},{"type":"electronic","value":"9783540393467"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10003-2_76","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:00:02Z","timestamp":1330189202000},"page":"257-272","source":"Crossref","is-referenced-by-count":1,"title":["Bipolar synchronization systems"],"prefix":"10.1007","author":[{"given":"H. J.","family":"Genrich","sequence":"first","affiliation":[]},{"given":"P. S.","family":"Thiagarajan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"23_CR1","unstructured":"Petri, C. A.: Kommunikation mit Automaten. Institut f\u00fcr Intrumentelle Mathematik, Schriften des IIM Nr. 2, Bonn, 1962."},{"key":"23_CR2","unstructured":"Genrich, H. J.; Lautenbach, K.; Thiagarajan, P.S: An overview of Net Theory. Course Material of the Advanced course on General Net Theory of Systems and Processes, Hamburg, 1979. (Published by GMD, St. Augustin)"},{"key":"23_CR3","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/BF00264027","volume":"2","author":"H. J. Genrich","year":"1973","unstructured":"Genrich, H. J.; Lautenbach, K.: Synchronisationsgraphen. Acta Informatica 2, pp 143\u2013161, 1973.","journal-title":"Acta Informatica"},{"key":"23_CR4","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1016\/S0022-0000(71)80013-2","volume":"5","author":"F. Commoner","year":"1973","unstructured":"Commoner, F.; Holt, A. W.; Even, S.; Pnueli, A.: Marked Directed Graphs. J. Computer and System Sc. 5, pp 511\u2013523, 1973.","journal-title":"J. Computer and System Sc."},{"key":"23_CR5","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1137\/0202008","volume":"2","author":"J. R. Jump","year":"1973","unstructured":"Jump, J. R.; Thiagarajan, P. S.: On the Equivalence of Asynchronous Control Structures. SIAM Journal on Computing, 2, pp 67\u201387, 1973.","journal-title":"SIAM Journal on Computing"},{"key":"23_CR6","series-title":"ISF-Report","volume-title":"Bipolar Synchronization Systems","author":"H. J. Genrich","year":"1980","unstructured":"Genrich, H. J.; Thiagarajan, P. S.: Bipolar Synchronization Systems. ISF-Report 80.02, GMD, St.Augustin, West Germany (1980)."},{"key":"23_CR7","unstructured":"Holt, A. W.: Roles and Activities. Unpublished Monograph, Boston University Academic Computing Centre, 1979."},{"key":"23_CR8","series-title":"Internal Report","volume-title":"Calculating Logical and Probabilistic Dependencies in a Class of Net Models","author":"R. M. Shapiro","year":"1975","unstructured":"Shapiro, R. M.: Calculating Logical and Probabilistic Dependencies in a Class of Net Models. Internal Report, Meta Information Applications, Inc., Wellfleet, MA, U.S.A., 1975."},{"key":"23_CR9","first-page":"163","volume-title":"Proceedings of the First European Conference on Parallel and Distributed Processing","author":"M. Yoeli","year":"1979","unstructured":"Yoeli, M.: A Structured Approach to Parallel Programming and Control. Proceedings of the First European Conference on Parallel and Distributed Processing (J. C. Syre, Editor), Toulouse, France, pp 163\u2013170, 1979."},{"key":"23_CR10","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/S0019-9958(79)90742-3","volume":"40","author":"N. D. Jodwani","year":"1979","unstructured":"Jodwani, N. D; Jump, J. R.: Top-down Design in the Context of Parallel Programs. Information and Control 40, pp 241\u2013257, 1979.","journal-title":"Information and Control"},{"key":"23_CR11","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0022-0000(79)90050-3","volume":"18","author":"R. Valette","year":"1979","unstructured":"Valette, R.: Analysis of Petri Nets by Stepwise Refinement. J. Computer and System Sc., 18, pp 35\u201346, 1979.","journal-title":"J. Computer and System Sc."}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10003-2_76.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:33:10Z","timestamp":1619555590000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10003-2_76"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100034","9783540393467"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-10003-2_76","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]}}}