{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:08:26Z","timestamp":1774915706355,"version":"3.50.1"},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1990,3,1]],"date-time":"1990-03-01T00:00:00Z","timestamp":636249600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1990,3]]},"DOI":"10.1007\/bf00264612","type":"journal-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T04:18:02Z","timestamp":1096345082000},"page":"343-368","source":"Crossref","is-referenced-by-count":77,"title":["Partial (set) 2-structures"],"prefix":"10.1007","volume":"27","author":[{"given":"A.","family":"Ehrenfeucht","sequence":"first","affiliation":[]},{"given":"G.","family":"Rozenberg","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF00264612_CR1","volume-title":"Petri nets: central models and their properties","year":"1987","unstructured":"Brauer, W., Reisig, W., Rozenberg, G. (eds.): Petri nets: central models and their properties. Berlin Heidelberg New York: Springer 1987"},{"key":"BF00264612_CR2","volume-title":"Petri nets: applications and relationships to other models of concurrency","year":"1987","unstructured":"Brauer, W., Reisig, W., Rozenberg, G. (eds.): Petri nets: applications and relationships to other models of concurrency. Berlin Heidelberg New York: Springer 1987"},{"key":"BF00264612_CR3","doi-asserted-by":"crossref","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Theory of 2-structures, Part I: Clans, morphisms, and basic subclasses. Theor. Comput. Sci. (to appear)","DOI":"10.1016\/0304-3975(90)90129-6"},{"key":"BF00264612_CR4","doi-asserted-by":"crossref","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Theory of 2-structures, Part II: Representation through labeled tree families. Theor. Comput. Sci. (to appear)","DOI":"10.1016\/0304-3975(90)90130-A"},{"key":"BF00264612_CR5","doi-asserted-by":"crossref","unstructured":"Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures, Part I: Basic notions and the representation problem. Acta Inf. 27, 315\u2013342","DOI":"10.1007\/BF00264611"},{"key":"BF00264612_CR6","volume-title":"Kommunikation mit Automaten","author":"C.A. Petri","year":"1962","unstructured":"Petri, C.A.: Kommunikation mit Automaten. Schriften des Institutes f\u00fcr Instrumentelle Mathematik, Bonn 1962 (in German)"},{"key":"BF00264612_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri nets: an introduction","author":"W. Reisig","year":"1985","unstructured":"Reisig, W.: Petri nets: an introduction. Berlin Heidelberg New York: Springer 1985"},{"key":"BF00264612_CR8","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/BFb0027048","volume-title":"Current trends in concurrency","author":"G. Rozenberg","year":"1986","unstructured":"Rozenberg, G., Thiagarajan, P.S.: Petri nets: basic notions, structure, behaviour. In: de Bakkerm J.W., de Roever, W.P., Rozenberg, G. (eds.) Current trends in concurrency, pp. 585\u2013668. Berlin Heidelberg New York: Springer 1986"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00264612.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00264612\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00264612","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T06:24:02Z","timestamp":1585895042000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00264612"}},"subtitle":["Part II: state spaces of concurrent systems"],"short-title":[],"issued":{"date-parts":[[1990,3]]},"references-count":8,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1990,3]]}},"alternative-id":["BF00264612"],"URL":"https:\/\/doi.org\/10.1007\/bf00264612","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,3]]}}}