@InCollection{CDF91,
  author = 	 "Giovanni Chiola and Susanna Donatelli and Guiliana
		  Franceschinis",
  title = 	 "Priorities, Inhibitor Arcs, and Concurrency in Nets",
  booktitle =	 "Application and Theory of Petri Nets 1991,
		  Proceedings 12th International Conference, Gjern,
		  Denmark",
  publisher =    "Springer-Verlag",
  year =	 1991,
  pages =	 "182--205"
}

@TechReport{CDH92,
  author =       "Christensen, S{\o}ren and Damgaard Hansen, Niels",
  title =        "Coloured Petri Nets Extended with Channels for
                  Synchronous Communication",
  institution =  "Aarhus University",
  year =         1992,
  number =       "DAIMI PB--390"
}
		  
@InCollection{CDH93,
  author = 	 "Christensen, S{\o}ren and Damgaard Hansen, Niels",
  title = 	 "Coloured Petri Nets Extended with Place Capacities,
		  Test Arcs and Inhibitor Arcs",
  booktitle =	 "Application and Theory of Petri Nets 1993,
		  Proceedings 14th International Conference, Chicago,
		  Illinois, USA ",
  year =	 1993,
  editor =	 "Ajmone Marsan, M.",
  volume =	 691,
  series =	 "Lecture Notes in Computer Science",
  publisher =    "Springer-Verlag",
  pages =	 "186--205",
  note =	 "\par Available at
    \texttt{http://www.daimi.au.dk/~sorenchr/publ.html}"
}

@Manual{Gamma98,
  title =        "JHotDraw",
  organization = "Erich Gamma",
  year =         1998,
  note =         "\par Available at
        \url{http://members.pingnet.ch/gamma/JHD-5.1.zip}"
}

@Manual{Macao98,
 title =         "Macao Graph Editor Framework",
 organization =  "Laboratoire d'Informatique de Paris 6",
 year =          1998,
 note =          "\par WWW page at
        \url{http://move.lip6.fr/software/MACAO/}"
}


@Manual{Maria00,
 title =         "Maria -- The Modular Reachability Analyzer",
 organization =  "Helsinki University of Technology",
 year =          2000,
 note =          "\par WWW page at
        \url{http://saturn.tcs.hut.fi/maria/}"
}

@Manual{Woflan98,
 title =         "Woflan --  The Workflow Analyser",
 organization =  "Eindhoven University of Technology",
 year =          1998,
 note =          "\par WWW page at
        \url{http://www.win.tue.nl/woflan/}"
}

@Manual{Log4j12,
  title = 	 "Log4j",
  organization = "Apache Logging Services",
  year = 	 2012,
  note = 	 "\par WWW page at
        \url{https://logging.apache.org/log4j/1.2/}"
}

@Manual{Reload4j,
	title = 	 "Reload4j",
	organization = "QoS.ch Sarl (Switzerland)",
	year = 	 2022,
	note = 	 "\par WWW page at
	\url{https://reload4j.qos.ch/}"
}

@InProceedings{Kummer98,
  author = 	 "Olaf Kummer",
  title = 	 "Simulating Synchronous Channels and Net Instances",
  booktitle =	 "5.~Workshop Algorithmen und Werkzeuge f{\"u}r Petrinetze",
  year =	 1998,
  editor =	 "J. Desel and P. Kemper and E. Kindler and A. Oberweis",
  publisher =	 "Forschungsbericht 694, Universit{\"a}t Dortmund,
		  Fachbereich Informatik",
  pages =	 "73--78",
  month =	 oct
}
		  
@InProceedings{Kummer99,
  author = 	 "Olaf Kummer",
  title = 	 "Tight Integration of {Java} and {Petri} Nets",
  booktitle =	 "6.~Workshop Algorithmen und Werkzeuge f{\"u}r Petrinetze",
  year =	 1999,
  editor =	 "J. Desel and A. Oberweis",
  publisher =	 "J.W.~Goethe-Universit{\"a}t, Institut f{\"u}r
		  Wirtschaftinformatik, Frankfurt am Main,
		  Fachbereich Informatik",
  pages =	 "30--35",
  month =	 oct
}
		  
@Manual{Lea98,
  title =        "Overview of the \texttt{collections} Package, Version 0.96b",
  author =       "Doug Lea",
  organization = "State University of New York at Oswego",
  year =         1998,
  note =         "\par WWW page at
        \url{http://gee.cs.oswego.edu/dl/classes/collections/}"
}

		  
@Book{vdLinden96,
  author = 	 "van der Linden, Peter",
  title = 	 "Just Java",
  publisher = 	 "Prentice Hall",
  year = 	 1996,
  series =	 "The Sunsoft Press Java Series",
}

@Article{reisig91,
  author = 	 "Reisig, Wolfgang",
  title = 	 "Petri Nets and Algebraic Specifications",
  journal =	 "Theoretical Computer Science",
  year =	 1991,
  volume =	 80,
  number =	 "1--2",
  pages =	 "1--34"
}
		  
@InCollection{LC94,
  author = 	 "Lakos, Charles A. and Christensen, S{\o}ren ",
  title = 	 "A General Systematic Approach to Arc Extensions
		  for Coloured Petri Nets",
  booktitle =	 "Application and Theory of Petri Nets 1994,
		  Proceedings 15th International Conference, Zaragoza, Spain",
  publisher =	 "Springer-Verlag",
  year =	 1994,
  editor =	 "Valette, R.",
  volume =	 815,
  series =	 "Lecture Notes in Computer Science",
  pages =	 "338--357",
  note =	 "\par Available at
    \texttt{http://www.daimi.au.dk/~sorenchr/publ.html}"
}

@InProceedings{petri80,
  author =       "Carl Adam Petri",
  editor =       " {Brauer, W.}",
  title =        "Introduction to General Net Theory.",
  series =       "Lecture Notes in Computer Science",
  booktitle =    "Net Theory and
                 Applications, Proc. of the Advanced Course on General
                 Net Theory of Processes and Systems, Hamburg, 1979",
  volume =       "84",
  pages =        "1--19",
  publisher =    "Springer-Verlag",
  year =         "1980",
}

@Manual{Rational,
  key =          "Rational",
  title =        "Unified Modeling Language Resource Center",
  organization = "Rational",
  year =         2000,
  note =         "\par WWW page at
        \url{http://www.rational.com/uml/}"
}

@Book{reisig98,
  author = 	 "Wolfgang Reisig",
  title = 	 "Elements of Distributed Algorithms: Modelling and
		  Analysis with Petri Nets",
  publisher = 	 "Springer-Verlag",
  year = 	 1998
}

@Misc{XMLMeeting00,
  key =          "XML",
  title =        "Proceedings on the Meeting on {XML/SGML} based Interchange
                  Formats for {Petri} Nets",
  year =         2000,
  note =         "\par WWW page at
        \url{http://www.daimi.au.dk/pn2000/Interchange/}"
}

@InProceedings{valk98,
  author = 	 {R{\"u}diger Valk},
  title = 	 {Petri Nets as Token Objects: An Introduction
                  to Elementary Object Nets},
  booktitle = 	 {Application and Theory of Petri Nets},
  pages =	 {1-25},
  year =	 1998,
  editor =	 {J{\"o}rg Desel and Manuel Silva},
  volume =	 1420,
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer-Verlag}
}

@Book{Gamma95,
  author =       "Erich Gamma and Richard Helm and Ralph Johnson and
                 John Vlissides",
  title =        "Design Patterns",
  publisher =    "Addison Wesley",
  address =      "Reading, MA",
  year =         "1995"
}

@Misc{JavaCC,
  key =          "JavaCC",
  title =        "{JavaCC - The Java Parser Generator}",
  year =         2000,
  note =         "\par WWW page at
        \url{http://www.metamata.com/javacc/}"
}

@InProceedings{Langner1998,
  author = 	 {Peter Langner and Christoph Schneider and Joachim Wehler},
  title = 	 {Petri Net Based Certification of Event-Driven Process Chains},
  booktitle = 	 {Application and Theory of Petri Nets 1998:
                  Proceedings of 19th International Conference, 
                  Lisbon, Portugal},
  pages =	 {286--305},
  year =	 1998,
  editor =	 {J. Desel and M. Silva},
  volume =	 1420,
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer-Verlag}
}

@InProceedings{Billington2003,
  author =	 {Jonathan Billington and S{\"o}ren Christensen and
                  Kees van Hee and Ekkart Kindler and Olaf Kummer
                  and Laure Petrucci and Reinier Post and
                  Christian Stehno and Michael Weber},
  title =	 {The Petri Net Markup Language: Concepts, Technology, and Tools},
  booktitle =	 {Applications and Theory of Petri Nets 2003:
                  Proceedings of 24th International Conference,
                  Eindhoven, The Netherlands},
  pages =	 {483--505},
  year =	 2003,
  editor =	 {W. van der Aalst and E. Best},
  volume =	 2679,
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer-Verlag}
}

@Book{Kummer2002:diss,
  AUTHOR =	 {Olaf Kummer},
  PUBLISHER =	 {Logos-Verlag},
  ADDRESS =	 {Berlin},
  TITLE =	 {Referenznetze},
  YEAR =	 {2002}
}

@InProceedings{Cabac09c,
  author    = {Cabac, Lawrence},
  title = {Net Components: Concepts, Tool, Praxis},
  booktitle =	 {{Petri} Nets and Software Engineering,
                  International Workshop, PNSE'09.
                  Proceedings},
  editor =	 {Moldt, Daniel},
  series =	 {Technical Reports Universit{\'e} Paris 13},
  address =	 {99, avenue Jean-Baptiste Cl{\'e}ment, 93 430 Villetaneuse},
  month =	 jun,
  publisher =	 {Universit{\'e} Paris 13},
  pages     = {17--33},
  year = 	 2009,
  abstract = {The design of complex Petri net models is a challenge with respect
        to intuition, correctness and efficiency. In the case that systems'
        models are of large scale and consist of numerous nets, as in the
        case of Petri net-based software engineering, net components - an
        implementation of a pattern-based approach - are applied successfully.
        This paper summarizes our efforts made and experiences with net components.
        It illustrates the concept, design and usage of net components. It
        additionally presents the experiences gained from several software
        development projects over the last few years.
        
        Net components are subnets that are combined with each other to form
        a Petri net. By this component-based approach of constructing Petri
        nets, the construction of nets is facilitated as well as accelerated,
        and the Petri nets are structured in an intuitive, easily readable
        and unified way. To illustrate the presented concepts, some net components
        that are frequently used in an agent-oriented approach in the context
        of Mulan are introduced. Besides the fact that they provide the basic
        functionality in regard to the communication that is done by protocol
        nets, also some simple patterns and programming artifacts are introduced
        into the development process.},
  annote = {filename=PNSE_Netcomponents/netcomponents.tex}
}
