{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:22:30Z","timestamp":1725895350583},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540111894"},{"type":"electronic","value":"9783642683534"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1982]]},"DOI":"10.1007\/978-3-642-68353-4_44","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T06:25:56Z","timestamp":1320215156000},"page":"269-279","source":"Crossref","is-referenced-by-count":26,"title":["Superposed Automata 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":"44_CR1","unstructured":"F.De Cindio,G.De Michelis,L.Pomello,C.Simone Verso un modello dei sistemi di processi autonomi interagenti Atti AICA 81 - Pavia Italy - 1981"},{"key":"44_CR2","unstructured":"K.Jensen Coloured Petri nets and the invariant method DAIMI PB-104 -Comp.Scienee Dept. - Aarhus University - 1979"},{"key":"44_CR3","doi-asserted-by":"crossref","unstructured":"R.Milner A Calculus for Communicating Systems Lec. Not.Comp.Sc. 92 - 1980","DOI":"10.1007\/3-540-10235-3"},{"key":"44_CR4","doi-asserted-by":"crossref","unstructured":"H.J.Genrieh,K.Lautenbach System modelling with high-level Petri nets Theoretical Computer Sc. 13 - 1981","DOI":"10.1016\/0304-3975(81)90113-4"},{"key":"44_CR5","unstructured":"R.Janicki On atomic\u2019 nets and concurrency relations MFCS \u201880 -Lec.Not.Comp.Sc. 88 - 1980"},{"key":"44_CR6","unstructured":"M.Hack Decidability questions for Petri nets TR 161 MIT, Lab.Comp.Sc. - 1976"},{"key":"44_CR7","doi-asserted-by":"crossref","unstructured":"V.E.Kotov An algebra for parallelism based on Petri nets Lec.Not.Comp.Sc.64 - 1978","DOI":"10.1007\/3-540-08921-7_55"},{"key":"44_CR8","doi-asserted-by":"crossref","unstructured":"R.Valette Analysis of Petri nets by stepwise refinements J.Comp.Sys.Sc.18.1 - 1979","DOI":"10.1016\/0022-0000(79)90050-3"},{"key":"44_CR9","unstructured":"K.Voss Nets as a consistent formal tool for the stepwise design and verification of a distributed system Proc.TC-8 Working Conf. on Evolutionary Info.Sys.- Budapest 1981 - Noth Holland -1981"},{"key":"44_CR10","doi-asserted-by":"crossref","unstructured":"R.M.Karp,R.E.Miller Parallel program schemata J.Comp.Sys.Sc. 3 - 1969","DOI":"10.1016\/S0022-0000(69)80011-5"},{"key":"44_CR11","doi-asserted-by":"crossref","unstructured":"C.A.R.Hoare Communicating Sequential Processes CACM 21.8 - 1978","DOI":"10.1145\/359576.359585"},{"key":"44_CR12","unstructured":"F.De Cindio,G.De Michelis,L.Pomello,C.Simone I GCP: simmetria e controllo della terminazione nella comunicazione tra processi Atti AICA 80 - Bologna Italy- 1980"},{"key":"44_CR13","doi-asserted-by":"crossref","unstructured":"P.Proszynski Petri nets and concurrency-like relations Int.Coll. on Formalization of Progr. Concepts - Peniscola Spain -Lec.Not.Comp.Sc. 107 - 1981","DOI":"10.1007\/3-540-10699-5_120"},{"key":"44_CR14","doi-asserted-by":"crossref","unstructured":"F.De Cindio,G.De Michelis,L.Pomello,C.Simone Superposed Automata nets: an introduction I.C. Internal Report - (to appear) -1981","DOI":"10.1007\/978-3-642-68353-4_44"}],"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_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T18:13:49Z","timestamp":1560881629000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-68353-4_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982]]},"ISBN":["9783540111894","9783642683534"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-68353-4_44","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1982]]}}}