{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:15:22Z","timestamp":1725664522422},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616047"},{"type":"electronic","value":"9783540706250"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61604-7_72","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:02:58Z","timestamp":1330293778000},"page":"498-513","source":"Crossref","is-referenced-by-count":0,"title":["Linear constraint systems as high-level nets"],"prefix":"10.1007","author":[{"given":"Eike","family":"Best","sequence":"first","affiliation":[]},{"given":"Catuscia","family":"Palamidessi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"unstructured":"B. Baumgarten: Petri-Netze. Grundlagen und Anwendungen. BI-Verlag, 1990.","key":"29_CR1"},{"doi-asserted-by":"crossref","unstructured":"E. Best, H. Fleischhack, W. Fraczak, R.P. Hopkins, H. Klaudel and E. Pelz: A Class of Composable High Level Petri Nets. Proc. of 16th ICPN, LNCS Vol.935, Springer Verlag, 103\u2013120, 1995.","key":"29_CR2","DOI":"10.1007\/3-540-60029-9_36"},{"issue":"1","key":"29_CR3","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1006\/inco.1994.1004","volume":"108","author":"F.S. Boer de","year":"1994","unstructured":"F.S. de Boer and C. Palamidessi: Embedding as a Tool for Language Comparison. Information and Computation 108(1):128\u2013157, 1994.","journal-title":"Information and Computation"},{"unstructured":"F.S. de Boer, C. Palamidessi and E. Best: Concurrent Constraint Programming with Information Removal. Proc. First Intl. Workshop on Concurrent Constraint Programming, Venice, 1\u201313, May 1995.","key":"29_CR4"},{"key":"29_CR5","first-page":"208","volume-title":"A Categorical Linear Framework for Petri Nets","author":"C. Brown","year":"1990","unstructured":"C. Brown and D. Gurr: A Categorical Linear Framework for Petri Nets. Proc. Fifth Annual IEEE Symposium on Logic in Computer Science, Philadelphia, IEEE Comput. Soc. Press, 208\u2013218, 1990."},{"issue":"4","key":"29_CR6","first-page":"445","volume":"ACM32","author":"N. Carriero","year":"1989","unstructured":"N. Carriero and D. Gelernter: Linda in Context. Comm. ACM32(4):445\u2013458, 1989.","journal-title":"Comm."},{"doi-asserted-by":"crossref","unstructured":"S. Christensen, Y. Hirshfeld and F. Moller: Bisimulation Equivalence is Decidable for Basic Parallel Processes. Proc. CONCUR'93, LNCS Vol.715, Springer Verlag, 143\u2013175, 1993.","key":"29_CR7","DOI":"10.1007\/3-540-57208-2_11"},{"doi-asserted-by":"crossref","unstructured":"U. Engberg and G. Winskel: Petri Nets as Models of Linear Logic. Proc. 15th Colloquium on Trees in Algebra and Programming, LNCS Vol.431, Springer-Verlag, 147\u2013161, 1990.","key":"29_CR8","DOI":"10.1007\/3-540-52590-4_46"},{"doi-asserted-by":"crossref","unstructured":"J. Esparza: Petri Nets, Commutative Context-free Grammars and Basic Parallel Processes. Proc. FCT'95, LNCS Vol.965, Springer Verlag, 221\u2013232, 1995.","key":"29_CR9","DOI":"10.1007\/3-540-60249-6_54"},{"doi-asserted-by":"crossref","unstructured":"H.J. Genrich: Predicate-transition Nets. In Petri Nets: Central Models and their Properties, LNCS Vol.254, Springer-Verlag, 207\u2013247, 1987.","key":"29_CR10","DOI":"10.1007\/978-3-540-47919-2_9"},{"doi-asserted-by":"crossref","unstructured":"K. Jensen: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1. EATCS Monographs on Theoretical Computer Science, 1992.","key":"29_CR11","DOI":"10.1007\/978-3-662-06289-0"},{"issue":"1","key":"29_CR12","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"D. Gelernter: Generative Communication in Linda. ACM TOPLAS 7(1):80\u2013112, 1985.","journal-title":"ACM TOPLAS"},{"doi-asserted-by":"crossref","unstructured":"U. Montanari and F. Rossi: Concurrent Semantics for Concurrent Constraint Programming via Contextual Nets. In V. Saraswat and P. Van Entenryck (eds) Constraint Programming. The MIT Press, 1995.","key":"29_CR13","DOI":"10.1007\/3-540-59155-9_10"},{"unstructured":"W. Reisig: Petri Nets. An Introduction. EATCS Monographs on Theoretical Computer Science Vol. 4, Springer-Verlag (1985).","key":"29_CR14"},{"key":"29_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(91)90203-E","volume":"80","author":"W. Reisig","year":"1991","unstructured":"W. Reisig: Petri Nets and Algebraic Specifications. Theoretical Computer Science 80, 1\u201334, 1991.","journal-title":"Theoretical Computer Science"},{"key":"29_CR16","first-page":"232","volume-title":"Concurrent Constraint Programming","author":"V.A. Saraswat","year":"1990","unstructured":"V.A. Saraswat and M. Rinard: Concurrent Constraint Programming. Proc. seventeenth ACM Symposium on Principles of Programming Languages, 232\u2013245, ACM, New York, 1990."},{"key":"29_CR17","volume-title":"Semantics Foundations of Concurrent Constraint Programming","author":"V.A. Saraswat","year":"1991","unstructured":"V.A. Saraswat, M. Rinard, and P. Panangaden: Semantics Foundations of Concurrent Constraint Programming. Proc. eighteenth ACM Symposium on Principles of Programming Languages, ACM, New York, 1991."},{"doi-asserted-by":"crossref","unstructured":"D. Scott: Domains for Denotational Semantics. Proc. ICALP, Springer Verlag, 1982.","key":"29_CR18","DOI":"10.1007\/BFb0012801"},{"doi-asserted-by":"crossref","unstructured":"J. Vautherin: Parallel Systems Specification with Colored Petri Nets and Algebraic Specification. LNCS Vol. 266, Springer-Verlag, 1987.","key":"29_CR19","DOI":"10.1007\/3-540-18086-9_31"}],"container-title":["Lecture Notes in Computer Science","CONCUR '96: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61604-7_72.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T10:50:16Z","timestamp":1640947816000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61604-7_72"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616047","9783540706250"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-61604-7_72","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}