{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T18:10:24Z","timestamp":1649182224580},"reference-count":26,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2000,5,1]],"date-time":"2000-05-01T00:00:00Z","timestamp":957139200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4825,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2000,5]]},"DOI":"10.1016\/s0304-3975(98)00124-8","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T02:38:29Z","timestamp":1027651109000},"page":"161-181","source":"Crossref","is-referenced-by-count":1,"title":["Process languages and nets"],"prefix":"10.1016","volume":"238","author":[{"given":"Ludwik","family":"Czaja","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(98)00124-8_BIB1","unstructured":"E. Best, C. Fernandez, Non-sequential Processes, A Petri Net View, EATCS Monographs on Theoretical Computer Science, vol. 13, Springer, Berlin, Heidelberg, New York, Tokyo, 1988."},{"key":"10.1016\/S0304-3975(98)00124-8_BIB2","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1016\/0020-0190(88)90189-5","article-title":"Cause\u2013effect structures","volume":"26","author":"Czaja","year":"198788","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/S0304-3975(98)00124-8_BIB3","doi-asserted-by":"crossref","unstructured":"L. Czaja, A calculus of nets, in: Kibernetika I Sistemnyj Analiz, No. 2, March-April 1993, pp. 40\u201350.","DOI":"10.1007\/BF01132779"},{"key":"10.1016\/S0304-3975(98)00124-8_BIB4","doi-asserted-by":"crossref","unstructured":"L. Czaja, Cause\u2013effect structure processes and their link with Mazurkiewicz traces, Institute of Informatics, Warsaw Univ., TR 96-03, 1996.","DOI":"10.1007\/3-540-62064-8_14"},{"key":"10.1016\/S0304-3975(98)00124-8_BIB5","unstructured":"L. Czaja, Processes in cause\u2013effect structures, perspectives of system informatics, 2nd Internat Andrei Ershov Memorial Conf., Academgorodok, Russia, June 1996, Lecture Notes in Computer Science, vol. 1181, Springer, Berlin, 1996."},{"key":"10.1016\/S0304-3975(98)00124-8_BIB6","unstructured":"L. Czaja, Process languages and nets (preliminary version), Proc. Concurrency, Specification and Programming (CS&P\u201997) Workshop, Warsaw, Poland, October 1997, pp. 37\u201354."},{"key":"10.1016\/S0304-3975(98)00124-8_BIB7","doi-asserted-by":"crossref","unstructured":"V. Diekert, G. Rozenberg (Eds.), The Book of Traces, World Scientific, Singapore New Jersey. London. Hong-Kong, 1995.","DOI":"10.1142\/2563"},{"key":"10.1016\/S0304-3975(98)00124-8_BIB8","doi-asserted-by":"crossref","unstructured":"J. Hirshfeld, A. Rabinovich, B.A. Trakhtenbrot, Discerning Causality in Interleaving Behavior, Proc. Logic at Botic 89, Pereslavl-Zalessky, USSR, July 1989.","DOI":"10.1007\/3-540-51237-3_13"},{"key":"10.1016\/S0304-3975(98)00124-8_BIB9","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0020-0190(88)90064-6","article-title":"Propositional description of finite cause\u2013effect structures","volume":"27","author":"Holenderski","year":"1988","journal-title":"Inform. Proc. Lett."},{"key":"10.1016\/S0304-3975(98)00124-8_BIB10","unstructured":"A. Kusmirek, Axiomatic characterization and some properties of processes in cause-effect structures (Levi lemma, pumping lemma and others), M.Sc. Thesis, Warsaw University, 1996 (in Polish)."},{"key":"10.1016\/S0304-3975(98)00124-8_BIB11","first-page":"14,1146","article-title":"On semigroups","volume":"36","author":"Levi","year":"1944","journal-title":"Bull. Calcutta Math. Soc."},{"key":"10.1016\/S0304-3975(98)00124-8_BIB12","doi-asserted-by":"crossref","unstructured":"I.A. Lomazova, On occurrence nets semantics for Petri nets with contacts, in: B. Chlebus, L. Czaja (Eds.), Proc. Fundamentals of Computation Theory, Lecture Notes in Computer Science, vol. 1279, Springer, Berlin, pp. 317\u2013328","DOI":"10.1007\/BFb0036194"},{"key":"10.1016\/S0304-3975(98)00124-8_BIB13","doi-asserted-by":"crossref","unstructured":"A. Maggiolo-Schettini, G. Matteuci, Processes in cause\/effect systems, Fundam. Inform. 31 (1997) 305\u2013335, IOS PRESS Amsterdam.","DOI":"10.3233\/FI-1997-313406"},{"key":"10.1016\/S0304-3975(98)00124-8_BIB14","doi-asserted-by":"crossref","unstructured":"A. Mazurkiewicz, Trace theory, in: W. Brauer et al. (Eds.), Petri nets, applications and relationship to other models of concurrency, Lecture Notes in Computer Science, vol. 255, Springer, Berlin, pp. 279\u2013324.","DOI":"10.1007\/3-540-17906-2_30"},{"key":"10.1016\/S0304-3975(98)00124-8_BIB15","doi-asserted-by":"crossref","unstructured":"M. Nielsen, G. Winskel, Trace structures and other models for concurrency, in: The Book of Traces, World Scientific, Singapore. New Jersey. London. Hong-Kong, pp. 271\u2013305.","DOI":"10.1142\/9789814261456_0009"},{"key":"10.1016\/S0304-3975(98)00124-8_BIB16","doi-asserted-by":"crossref","unstructured":"E. Ochmanski, Recognizable trace languages, in: The Book of Traces, World Scientific, Singapore. New Jersey. London. Hong-Kong, 1995, pp. 167\u2013204.","DOI":"10.1142\/9789814261456_0006"},{"key":"10.1016\/S0304-3975(98)00124-8_BIB17","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0020-0190(93)90114-O","article-title":"Remarks on the equivalence of c\u2013e structures and Petri nets","volume":"45","author":"Raczunas","year":"1993","journal-title":"Inform. Proc. Lett."},{"key":"10.1016\/S0304-3975(98)00124-8_BIB18","series-title":"Petri Nets. An Introduction, EATCS Monographs on Theoretical Computer Science, vol. 4","author":"Reisig","year":"1982"},{"issue":"4","key":"10.1016\/S0304-3975(98)00124-8_BIB19","doi-asserted-by":"crossref","DOI":"10.3233\/FI-1988-11404","article-title":"Behavior structures and nets","volume":"11","author":"Rabinovich","year":"1988","journal-title":"Fundam. Inform."},{"key":"10.1016\/S0304-3975(98)00124-8_BIB20","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/0304-3975(95)00123-9","article-title":"On the border of causality: contacts and confusion","volume":"153","author":"Smith","year":"1996","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(98)00124-8_BIB21","first-page":"389","article-title":"Processes in nets","volume":"8\/9","author":"Starke","year":"1981","journal-title":"EIK 17"},{"key":"10.1016\/S0304-3975(98)00124-8_BIB22","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/0020-0190(96)00128-7","article-title":"Algebra of two-level cause-effect structures","volume":"59","author":"Ustimenko","year":"1996","journal-title":"Inform. Proc. Lett."},{"key":"10.1016\/S0304-3975(98)00124-8_BIB23","unstructured":"S. Walig\u00f3rski, Algebraiczna teoria automat\u00f3w, Algorytmy (Algebraic theory of automata) 6 (11) 1969 (in Polish)."},{"key":"10.1016\/S0304-3975(98)00124-8_BIB24","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1016\/0304-3975(82)90079-2","article-title":"An algebraic description of system behaviours","volume":"21","author":"Winkowski","year":"1982","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(98)00124-8_BIB25","doi-asserted-by":"crossref","unstructured":"G. Winskel, Event structures in Petri nets: application and relationship to other models of concurrency, Lecture Notes in Computer Science, Springer, Berlin, 1987, pp. 225.","DOI":"10.1007\/3-540-17906-2_31"},{"key":"10.1016\/S0304-3975(98)00124-8_BIB26","unstructured":"G. Winskel, An introduction to event structures, in: J.W. de Bakker, W.P. de Roever, G. Rozenberg (Eds.), Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, no. 354 in Lecture Notes in Computer Science, pp. 123\u2013172, Berlin-Heidelberg-New York, 1988, Springer."}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397598001248?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397598001248?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,5,14]],"date-time":"2021-05-14T12:26:33Z","timestamp":1620995193000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397598001248"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,5]]},"references-count":26,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2000,5]]}},"alternative-id":["S0304397598001248"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(98)00124-8","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2000,5]]}}}