@article(Asperti2009,
 author       = "Andrea Asperti and Nadia Busi",
 year         = "2009",
 title        = "Mobile Petri nets",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "19",
 number       = "6",
 pages        = "1265--1278",
 doi          = "10.1017/S0960129509990193",
)
@inproceedings(Berry1990,
 author       = "Gerard Berry and Gerard Boudol",
 year         = "1990",
 title        = "The chemical abstract machine",
 booktitle    = "Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages",
 series       = "POPL '90",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "81--94",
 doi          = "10.1145/96709.96717",
)
@inproceedings(Best2011,
 author       = "Eike Best and Philippe Darondeau",
 year         = "2011",
 title        = "Petri Net Distributability",
 booktitle    = "Ershov Memorial Conference",
 pages        = "1--18",
 doi          = "10.1007/978-3-642-29709-0\_1",
)
@inproceedings(Bruni2006,
 author       = "{Roberto} {Bruni} and {Hern\'an} {Melgratti} and {Ugo} {Montanari}",
 year         = "2006",
 title        = "{Event Structure Semantics for Nominal Calculi}",
 editor       = "C. Baier and H. Hermanns",
 booktitle    = "Proceedings of CONCUR 2006, 17th International Conference on Concurrency Theory",
 series       = "Lecture Notes in Computer Science",
 volume       = "4137",
 publisher    = "Springer",
 pages        = "295--309",
 doi          = "10.1007/11817949\_20",
)
@inproceedings(Buscemi2001,
 author       = "Maria Grazia Buscemi and Vladimiro Sassone",
 year         = "2001",
 title        = "High-Level Petri Nets as Type Theories in the Join Calculus",
 booktitle    = "Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures",
 series       = "FoSSaCS '01",
 publisher    = "Springer-Verlag",
 address      = "London, UK, UK",
 pages        = "104--120",
 doi          = "10.1007/3-540-45315-6",
)
@article(Busi2009,
 author       = "Nadia Busi and Roberto Gorrieri",
 year         = "2009",
 title        = "Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs",
 journal      = "J. Log. Algebr. Program.",
 volume       = "78",
 number       = "3",
 pages        = "138--162",
 doi          = "10.1016/j.jlap.2008.08.002",
)
@article(Esparza2001,
 author       = "Javier Esparza and Claus Schr{\"o}ter",
 year         = "2001",
 title        = "Unfolding Based Algorithms for the Reachability Problem",
 journal      = "Fundamenta Informaticae",
 volume       = "47",
 number       = "3-4",
 pages        = "231--245",
)
@phdthesis(Fournet1998,
 author       = "C\'{e}dric Fournet",
 year         = "1998",
 title        = "{{T}he {J}oin-{C}alculus: a {C}alculus for {D}istributed {M}obile {P}rogramming}",
 school       = "L'\'{E}cole Polytechnique",
)
@inproceedings(Fournet1996,
 author       = "C\'{e}dric Fournet and Georges Gonthier",
 year         = "1996",
 title        = "{The reflexive CHAM and the join-calculus}",
 booktitle    = "Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages",
 publisher    = "ACM",
 pages        = "372--385",
 doi          = "10.1145/237721.237805",
)
@incollection(Fournet1996a,
 author       = "C\'{e}dric Fournet and Georges Gonthier and Jean-Jacques L\'{e}vy and Luc Maranget and Didier R\'{e}my",
 year         = "1996",
 title        = "A calculus of mobile agents",
 editor       = "Ugo Montanari and Vladimiro Sassone",
 booktitle    = "CONCUR '96: Concurrency Theory",
 series       = "Lecture Notes in Computer Science",
 volume       = "1119",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "406--421",
 doi          = "10.1007/3-540-61604-7\_67",
)
@incollection(Glabbeek2001,
 author       = "Rob J. van Glabbeek",
 year         = "2001",
 title        = "The Linear Time -- Branching Time Spectrum {I}; The Semantics of Concrete, Sequential Processes",
 editor       = "J.A. Bergstra and A. Ponse and S.A. Smolka",
 booktitle    = "Handbook of Process Algebra",
 chapter      = "1",
 publisher    = "Elsevier",
 pages        = "3--99",
 doi          = "10.1016/B978-044482830-9/50019-9",
)
@inproceedings(Glabbeek2009,
 author       = "Rob J. van Glabbeek and U. Goltz and J.-W. Schicke",
 year         = "2009",
 title        = "Symmetric and Asymmetric Asynchronous Interaction",
 booktitle    = "First Interaction and Concurrency Experiences Workshop (ICE 2008), Satellite Workshop ICALP 2008",
 series       = "entcs",
 volume       = "Vol. 229",
 publisher    = "elsevier",
 pages        = "77--95",
 doi          = "10.1016/j.entcs.2009.06.040",
 note         = "To appear",
)
@inproceedings(Glabbeek2008,
 author       = "Rob J. van Glabbeek and Ursula Goltz and Jens-Wolfhard Schicke",
 year         = "2008",
 title        = "On Synchronous and Asynchronous Interaction in Distributed Systems",
 editor       = "E. Ochmanski and J. Tyszkiewicz",
 booktitle    = "33rd Intern. Symp. on Mathematical Foundations of Computer Science (MFCS’08)",
 series       = "Lecture Notes in Computer Science",
 volume       = "LNCS 5162",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "16--35",
 doi          = "10.1007/978-3-540-85238-4",
)
@inproceedings(Glabbeek2012,
 author       = "Rob J. van Glabbeek and Ursula Goltz and Jens-Wolfhard Schicke-Uffmann",
 year         = "2012",
 title        = "On Distributability of Petri Nets - (Extended Abstract)",
 editor       = "Lars Birkedal",
 booktitle    = "Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings",
 series       = "Lecture Notes in Computer Science",
 volume       = "7213",
 publisher    = "Springer",
 pages        = "331--345",
 doi          = "10.1007/978-3-642-28729-9\_22",
)
@techreport(MennickeTR2012,
 author       = "Stephan Mennicke",
 year         = "2012",
 title        = "A Petri Net Semantics for the Join-Calculus",
 type         = "Technical Report",
 institution  = "TU Braunschweig",
 url          = "https://www.tu-braunschweig.de/Medien-DB/ips/join2petri_techreport.pdf",
)
@article(Milner1992,
 author       = "Robin Milner and Joachim Parrow and David Walker",
 year         = "1992",
 title        = "A calculus of mobile processes, I",
 journal      = "Information and Computation",
 volume       = "100",
 number       = "1",
 pages        = "1 -- 40",
 doi          = "10.1016/0890-5401(92)90008-4",
)
@incollection(Nielsen1979,
 author       = "Mogens Nielsen and Gordon Plotkin and Glynn Winskel",
 year         = "1979",
 title        = "Petri nets, event structures and domains",
 editor       = "Gilles Kahn",
 booktitle    = "Semantics of Concurrent Computation",
 series       = "Lecture Notes in Computer Science",
 volume       = "70",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "266--284",
 doi          = "10.1007/BFb0022474",
)
@inproceedings(Odersky2000,
 author       = "Martin Odersky",
 year         = "2000",
 title        = "An Introduction to Functional Nets",
 booktitle    = "Applied Semantics, International Summer School (APPSEM 2000)",
 pages        = "333--377",
 doi          = "10.1007/3-540-45699-6\_7",
)
@phdthesis(Petri1962,
 author       = "Carl Adam Petri",
 year         = "1962",
 title        = "Kommunikation mit Automaten",
 school       = "University of Bonn",
)
@inproceedings(Schicke2011,
 author       = "Jens-Wolfhard Schicke-Uffmann and Kirstin Peters and Ursula Goltz",
 year         = "2011",
 title        = "Synchrony vs. Causality in Asynchronous Petri Nets",
 editor       = "Bas Luttik and Frank Valencia",
 booktitle    = "Proceedings 18th International Workshop on Expressiveness in Concurrency",
 pages        = "119--131",
 doi          = "10.4204/EPTCS.64.9",
)