{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:37:00Z","timestamp":1778297820605,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540418641","type":"print"},{"value":"9783540453154","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45315-6_7","type":"book-chapter","created":{"date-parts":[[2007,12,3]],"date-time":"2007-12-03T06:28:39Z","timestamp":1196663319000},"page":"104-120","source":"Crossref","is-referenced-by-count":15,"title":["High-Level Petri Nets as Type Theories in the Join Calculus"],"prefix":"10.1007","author":[{"given":"Maria Grazia","family":"Buscemi","sequence":"first","affiliation":[]},{"given":"Vladimiro","family":"Sassone","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,23]]},"reference":[{"key":"7_CR1","unstructured":"A. Asperti and N. Busi (1996), Mobile Petri Nets, Technical Report UBLCS 96-10, Universit\u00e0 di Bologna."},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"G. Berry and G. Boudol (1992), The Chemical Abstract Machine, Theoretical Computer Science, 96:217\u2013248.","journal-title":"Theoretical Computer Science"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"M. Boreale, C. Fournet, and C. Laneve (1998), Bisimulations for the Join-Calculus, In Proc. PROCOMET\u201998, D. Gries and W.P. de Roever (Eds.), 68\u201386, IFIP, Chapman & Halls.","DOI":"10.1007\/978-0-387-35358-6_9"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"R. Bruni, J. Meseguer, U. Montanari, and V. Sassone (2000), Functorial Models for Petri Nets, Information and Computation. To appear.","DOI":"10.1006\/inco.2001.3050"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"C. Fournet and G. Gonthier (1996), The Reflexive Chemical Abstract Machine and the Join-Calculus, In Proc. POPL\u201996, 372\u2013385, ACM.","DOI":"10.1145\/237721.237805"},{"key":"7_CR6","series-title":"Lect Notes Comput Sci","first-page":"844","volume-title":"Proc. ICALP\u201998","author":"C. Fournet","year":"1996","unstructured":"C. Fournet and G. Gonthier (1996), A Hierarchy of Equivalences for Asynchronous Calculi, In Proc. ICALP\u201998, Lecture Notes in Computer Science 1443, 844\u2013855, Springer."},{"key":"7_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1007\/3-540-61604-7_67","volume-title":"Proc. CONCUR\u201996","author":"C. Fournet","year":"1996","unstructured":"C. Fournet, G. Gonthier, J. L*00c9*vy, L. Maranget, and D. R*00c9*my (1996), A Calculus of Mobile Agents, In Proc. CONCUR\u201996, Lecture Notes in Computer Science 1119, 406\u2013421, Springer."},{"key":"7_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1007\/3-540-63141-0_14","volume-title":"Proc. CONCUR\u201997","author":"C. Fournet","year":"1997","unstructured":"C. Fournet, C. Laneve, L. Maranget, and D. R*00c9*my (1997), Implicit Typing \u00e0 la ML for the Join-Calculus, In Proc. CONCUR\u201997, Lecture Notes in Computer Science 1243, 196\u2013212, Springer."},{"key":"7_CR9","unstructured":"K. Jensen (1992), Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Monographs on Theoretical Computer Science, Springer."},{"key":"7_CR10","unstructured":"C. Laneve (1996), May And Must Testing In The Join-Calculus, Technical Report UBLCS 96-04, Universit\u00e0 Di Bologna."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"F. Le Fessant and L. Maranget (1998), Compiling Join-Patterns, In Proc. HLCL\u201998, Electronic Notes in Computer Science 16(3), Elsevier.","DOI":"10.1016\/S1571-0661(04)00143-4"},{"key":"7_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/3-540-57182-5_7","volume-title":"Proc. MFCS\u201993","author":"R. Milner","year":"1993","unstructured":"R. Milner (1993), Action Calculi, or Syntactic Action Structures, In Proc. MFCS\u201993, Lecture Notes in Computer Science 711, 105\u2013121, Springer."},{"key":"7_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/3-540-60218-6_13","volume-title":"Proc. CONCUR 95","author":"M. Nielsen","year":"1995","unstructured":"M. Nielsen, L. Priese, and V. Sassone (1995), Characterizing Behavioural Congruences for Petri Nets, in Proc. CONCUR 95, Lecture Notes in Computer Science 962, 175\u2013189, Springer."},{"key":"7_CR14","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proc. ESOP\u20192000","author":"M. Odersky","year":"2000","unstructured":"M. Odersky (2000), Functional Nets, In Proc. ESOP\u20192000, Lecture Notes in Computer Science 1782, 1\u201325, Springer."},{"key":"7_CR15","unstructured":"M. Odersky, C. Zenger, M. Zenger, and G. Chen (1999), A Functional View of Join, Technical Report ACRC-99-016, University of South Australia."},{"key":"7_CR16","volume-title":"Kommunikation mit Automaten","author":"C.A. Petri","year":"1962","unstructured":"C.A. Petri (1962), Kommunikation mit Automaten. Ph.D. thesis, Institut fur Instrumentelle Mathematik, Bonn."},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"W. Reisig (1985), Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science, Springer.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"7_CR18","first-page":"133","volume":"72","author":"V. Sassone","year":"2000","unstructured":"V. Sassone (2000), On the Algebraic Structure of Petri Nets, Bulletin of EATCS 72, 133\u2013148.","journal-title":"Bulletin of EATCS"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45315-6_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T04:57:37Z","timestamp":1737608257000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45315-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418641","9783540453154"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45315-6_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}