{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:39:32Z","timestamp":1775054372833,"version":"3.50.1"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","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":["Distrib Comput"],"published-print":{"date-parts":[[1990,3]]},"DOI":"10.1007\/bf01783665","type":"journal-article","created":{"date-parts":[[2005,6,20]],"date-time":"2005-06-20T02:02:58Z","timestamp":1119232978000},"page":"45-57","source":"Crossref","is-referenced-by-count":35,"title":["Behavioural notions for elementary net systems"],"prefix":"10.1007","volume":"4","author":[{"given":"M.","family":"Nielsen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Rozenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. S.","family":"Thiagarajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01783665_CR1","series-title":"Technical report","volume-title":"Theory of traces","author":"IJ Aalbersberg","year":"1986","unstructured":"Aalbersberg IJ Rozenberg G (1986) Theory of traces. Technical report no. 86-16, Institute of Applied Mathematics and Computer Science, University of Leiden, Leiden, The Netherlands"},{"key":"BF01783665_CR2","volume-title":"Categories of asynchronous systems","author":"M Bednarczyk","year":"1988","unstructured":"Bednarczyk M (1988) Categories of asynchronous systems. Ph.D. thesis, Computer Science Department, University of Susex. Brighton, G.B."},{"key":"BF01783665_CR3","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","volume":"55","author":"E Best","year":"1987","unstructured":"Best E, Devillers R (1987) Sequential and concurrent behaviour in Petri net theory. TCS 55:87\u2013136","journal-title":"TCS"},{"key":"BF01783665_CR4","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-73483-0","volume-title":"Non-sequential processes: a Petri net view","author":"E best","year":"1988","unstructured":"best E, Fernandez C (1988) Non-sequential processes: a Petri net view. EATCS Monographs on Theoretical Computer Science 13. Springer, Berlin Heidelberg New York"},{"key":"BF01783665_CR5","unstructured":"Brauer W, Reisig W, Rozenberg G (1987) Advances in Petri nets 1986 part I. Lect Notes Comput Sci 254"},{"key":"BF01783665_CR6","doi-asserted-by":"crossref","unstructured":"Brauer W, Reisig W, Rozenberg G (1987) Advances in Petri nets 1986 part II, Lect Notes Comput Sci 255","DOI":"10.1007\/3-540-18086-9"},{"key":"BF01783665_CR7","first-page":"3","volume":"2","author":"A Kiehn","year":"1988","unstructured":"Kiehn A (1988) On the interrelation between synchronized and non-synchronized behaviour of Petri nets. J Inf Process Cybern 2:3\u201318","journal-title":"J Inf Process Cybern"},{"key":"BF01783665_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the working mathematician","author":"S Mac Lane","year":"1971","unstructured":"Mac Lane S (1971) Categories for the working mathematician. Springer, Berlin Heidelberg New York"},{"key":"BF01783665_CR9","series-title":"DAIMI report PB-78","volume-title":"Concurrent program schemes and their interpretation","author":"A Mazurkiewicz","year":"1978","unstructured":"Mazurkiewicz A (1978) Concurrent program schemes and their interpretation. DAIMI report PB-78. Computer Science Department, Aarhus University, Aarhus, Denmark"},{"key":"BF01783665_CR10","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/BFb0013025","volume":"354","author":"A Mazurkiewicz","year":"1989","unstructured":"Mazurkiewicz A (1989) Basic notions of trace theory. Lect Notes Comput Sci 354:285\u2013363","journal-title":"Lect Notes Comput Sci"},{"key":"BF01783665_CR11","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"Nielsen M, Plotkin G, Winskel G (1981) Petri nets, event structures and domains, Part I. TCS 13:85\u2013108","journal-title":"TCS"},{"key":"BF01783665_CR12","unstructured":"Petri CA (1962) Kommunikation mit Automaten. Institut f\u00fcr Instrumentelle Mathematik, Schriften des IIM Nr 2"},{"key":"BF01783665_CR13","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/3-540-13345-3_37","volume":"172","author":"W Reisig","year":"1984","unstructured":"Reisig W (1984) Partial order semantics versus interleaving semantics for CSP-like languages and its impact of fainrness. Lect Notes Comput Sci 172:403\u2013413","journal-title":"Lect Notes Comput Sci"},{"key":"BF01783665_CR14","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/978-3-540-47919-2_4","volume":"254","author":"G Rozenberg","year":"1987","unstructured":"Rozenberg G (1987) Behaviour of elementary net systems. Lect Notes Comput Sci 254:60\u201394","journal-title":"Lect Notes Comput Sci"},{"key":"BF01783665_CR15","series-title":"Technical report 87-47","volume-title":"Event structures and trace monoids","author":"B Rozoy","year":"1987","unstructured":"Rozoy B, Thiagarajan PS (1987) Event structures and trace monoids. Technical report 87-47. Laboratoire d'Informatique Th\u00e9orique et Programmation University of Paris VII Paris, France"},{"key":"BF01783665_CR16","doi-asserted-by":"crossref","first-page":"673","DOI":"10.1007\/BFb0013040","volume":"354","author":"MN Shields","year":"1989","unstructured":"Shields MN (1989) Behavioural presentations. Lect Notes Comput Sci 354:673\u2013689","journal-title":"Lect Notes Comput Sci"},{"key":"BF01783665_CR17","doi-asserted-by":"crossref","unstructured":"Stark EW (1987) Concurrent transition systems and semantics of process networks. 14th ACM Conference on Principles of Programming Languages 199\u2013210","DOI":"10.1145\/41625.41643"},{"key":"BF01783665_CR18","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1007\/978-3-540-47919-2_3","volume":"254","author":"PS Thiagarajan","year":"1987","unstructured":"Thiagarajan PS (1987) Elementary net systems. Lect Notes Comput Sci 254:26\u201359","journal-title":"Lect Notes Comput Sci"},{"key":"BF01783665_CR19","doi-asserted-by":"crossref","first-page":"630","DOI":"10.1007\/3-540-19488-6_147","volume":"317","author":"PS Thiagarajan","year":"1988","unstructured":"Thiagarajan PS (1988) Some behavioural aspects of net theory. Lect Notes Comput Sci 317:630\u2013653","journal-title":"Lect Notes Comput Sci"},{"key":"BF01783665_CR20","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/3-540-17906-2_31","volume":"255","author":"G Winskel","year":"1987","unstructured":"Winskel G (1987) Event structures. Lect Notes Comput Sci 255:325\u2013392","journal-title":"Lect Notes Comput Sci"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01783665.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01783665\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01783665","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T21:07:11Z","timestamp":1586293631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01783665"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,3]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1990,3]]}},"alternative-id":["BF01783665"],"URL":"https:\/\/doi.org\/10.1007\/bf01783665","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"value":"0178-2770","type":"print"},{"value":"1432-0452","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,3]]}}}