{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:55:19Z","timestamp":1762458919387},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540123095"},{"type":"electronic","value":"9783642690280"}],"license":[{"start":{"date-parts":[[1983,1,1]],"date-time":"1983-01-01T00:00:00Z","timestamp":410227200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/978-3-642-69028-0_4","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T05:11:37Z","timestamp":1319519497000},"page":"40-59","source":"Crossref","is-referenced-by-count":12,"title":["Milner\u2019s Communicating Systems and Petri Nets"],"prefix":"10.1007","author":[{"given":"F.","family":"De Cindio","sequence":"first","affiliation":[]},{"given":"G.","family":"De Michelis","sequence":"additional","affiliation":[]},{"given":"L.","family":"Pomello","sequence":"additional","affiliation":[]},{"given":"C.","family":"Simone","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"Lect.Not.Comp.Sc.","author":"R Milner","year":"1980","unstructured":"R.Milner, A Calculus of Communicating Systems, Lect.Not.Comp.Sc. 92, Springer, 1980"},{"volume-title":"Net Theory and Applications, Lect.Not.Comp.Sc","year":"1980","key":"4_CR2","unstructured":"W.Brauer ed., Net Theory and Applications, Lect.Not.Comp.Sc. 84, Springer, 1980"},{"key":"4_CR3","volume-title":"Springer","author":"HJ Genrich","year":"1980","unstructured":"H.J.Genrich, P.S.Thiagarajan, Bipolar Synchronization Systems, Lect.Not. Comp.Sc.85, Springer, 1980"},{"key":"4_CR4","volume-title":"Inf.Fach.Berichte","author":"C Andr\u00e9","year":"1982","unstructured":"C.Andr\u00e9, Behaviour of a Place-Transition net on a subset of transitions, Inf.Fach.Berichte 52, Springer, 1982"},{"key":"4_CR5","unstructured":"C.Andr\u00e9, Use of Behaviour Equivalence in Piece-Transition nets analysis, ibidem"},{"key":"4_CR6","volume-title":"Inf.Fach.Berichte 52","author":"F Cindio De","year":"1982","unstructured":"6\/ F.De Cindio, G.De Michelis, L.Pomello, C.Simone, Superposed Automata nets, Inf.Fach.Berichte 52, Springer, 1982"},{"key":"4_CR7","volume-title":"Real system modelling: a formal but realistic approach to organization design, Proc.Int.Conf. on Model Realism","author":"F Cindio De","year":"1982","unstructured":"F.De Cindio, G.De Michelis, L.Pomello, C.Simone, Real system modelling: a formal but realistic approach to organization design, Proc.Int.Conf. on Model Realism, Academic Press, 1982 (to appear)"},{"key":"4_CR8","volume-title":"Theor. Comp.Sc","author":"HJ Genrich","year":"1981","unstructured":"H.J.Genrich, K.Lautenbach, System modelling with High Level Petri nets, Theor. Comp.Sc. 13, 1981"},{"key":"4_CR9","volume-title":"Equivalence Notions for Con\u00e7urent Systems,presented at 3rd Workshop on Petri Nets Varenna (Italy)","author":"F Cindio De","year":"1982","unstructured":"F.De Cindio, G.De Michelis, L.Pomello, C.Simone, Equivalence Notions for Con\u00e7urent Systems,presented at 3\n                  rd\n                  Workshop on Petri Nets, Varenna (Italy), 1982"}],"container-title":["Informatik-Fachberichte","Applications and Theory of Petri Nets"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69028-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T04:59:40Z","timestamp":1557896380000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69028-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540123095","9783642690280"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69028-0_4","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1983]]}}}