{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T05:02:29Z","timestamp":1648789349439},"reference-count":16,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T00:00:00Z","timestamp":1064966400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Processing Letters"],"published-print":{"date-parts":[[2003,10]]},"DOI":"10.1016\/s0020-0190(03)00386-7","type":"journal-article","created":{"date-parts":[[2003,9,22]],"date-time":"2003-09-22T16:29:36Z","timestamp":1064248176000},"page":"73-81","source":"Crossref","is-referenced-by-count":1,"title":["An algebraic characterization of independence of\u00a0Petri\u00a0net\u00a0processes"],"prefix":"10.1016","volume":"88","author":[{"given":"J\u00f3zef","family":"Winkowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0020-0190(03)00386-7_BIB001","unstructured":"M. A. Bednarczyk, Categories of asynchronous systems, Ph.D. Thesis in Computer Science, University of Sussex, Report no. 1\/88, 1988"},{"key":"10.1016\/S0020-0190(03)00386-7_BIB002","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0304-3975(87)90090-9","article-title":"Sequential and concurrent behaviour in Petri net theory","volume":"55","author":"Best","year":"1987","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0020-0190(03)00386-7_BIB003","series-title":"Proc. 4th LICS Symposium","first-page":"175","article-title":"Axiomatizing net computations and processes","author":"Degano","year":"1989"},{"key":"10.1016\/S0020-0190(03)00386-7_BIB004","series-title":"Proc. of MFCS '76","first-page":"284","article-title":"Parallelism of manipulations in multidimensional information structures","volume":"45","author":"Ehrig","year":"1976"},{"key":"10.1016\/S0020-0190(03)00386-7_BIB005","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1007\/BF01463946","article-title":"Branching processes of Petri nets","volume":"28","author":"Engelfriet","year":"1991","journal-title":"Acta Inform."},{"key":"10.1016\/S0020-0190(03)00386-7_BIB006","first-page":"287","article-title":"Diamond properties of elementary net systems","volume":"14","author":"Hoogeboom","year":"1991","journal-title":"Fund. Inform."},{"key":"10.1016\/S0020-0190(03)00386-7_BIB007","series-title":"Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency","first-page":"285","article-title":"Basic notions of trace theory","volume":"354","author":"Mazurkiewicz","year":"1988"},{"key":"10.1016\/S0020-0190(03)00386-7_BIB008","unstructured":"C.A. Petri, Non-seuential processes, Interner Bericht ISF-77-5, Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, 5205 St. Augustin, Germany, 1977"},{"key":"10.1016\/S0020-0190(03)00386-7_BIB009","unstructured":"C.A. Petri, Kommunikation mit Automaten, Ph.D. Thesis, Institut f\u00fcr Instrumentelle Mathematik, Bonn, Germany, 1962"},{"key":"10.1016\/S0020-0190(03)00386-7_BIB010","series-title":"Net Theory and Applications","first-page":"1","article-title":"Introduction to general net theory","volume":"84","author":"Petri","year":"1980"},{"key":"10.1016\/S0020-0190(03)00386-7_BIB011","series-title":"Petri Nets: An Introduction","author":"Reisig","year":"1985"},{"key":"10.1016\/S0020-0190(03)00386-7_BIB012","series-title":"Current Trends in Concurrency","first-page":"585","article-title":"Petri nets: basic notions, structure, behaviour","volume":"224","author":"Rozenberg","year":"1986"},{"key":"10.1016\/S0020-0190(03)00386-7_BIB013","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1093\/comjnl\/28.5.449","article-title":"Concurrent machines","volume":"28","author":"Shields","year":"1985","journal-title":"Comput. J."},{"key":"10.1016\/S0020-0190(03)00386-7_BIB014","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/0304-3975(80)90004-3","article-title":"Behaviours of concurrent systems","volume":"12","author":"Winkowski","year":"1980","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0020-0190(03)00386-7_BIB015","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\/S0020-0190(03)00386-7_BIB016","series-title":"Handbook of Logic in Computer Science, Vol. 4","first-page":"1","article-title":"Models for concurrency","author":"Winskel","year":"1995"}],"container-title":["Information Processing Letters"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020019003003867?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020019003003867?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T18:25:35Z","timestamp":1550946335000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020019003003867"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,10]]},"references-count":16,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2003,10]]}},"alternative-id":["S0020019003003867"],"URL":"https:\/\/doi.org\/10.1016\/s0020-0190(03)00386-7","relation":{},"ISSN":["0020-0190"],"issn-type":[{"value":"0020-0190","type":"print"}],"subject":[],"published":{"date-parts":[[2003,10]]}}}