petri_nets.bib

@book{reisig2013understanding,
  title={Understanding Petri Nets},
  author={Reisig, Wolfgang},
  volume={4},
  year={2013},
  publisher={Springer}
}

@book{desrochers1995applications,
  title={Applications of Petri nets in manufacturing systems: modeling, control, and performance analysis},
  author={Desrochers, Alan A and Al-Jaar, Robert Y},
  year={1995},
  publisher={IEEE}
}

@article{yang2012modeling,
  title={Modeling UML sequence diagrams using extended Petri nets},
  author={Yang, Nianhua and Yu, Huiqun and Sun, Hua and Qian, Zhilin},
  journal={Telecommunication Systems},
  volume={51},
  number={2-3},
  pages={147--158},
  year={2012},
  publisher={Springer}
}

@incollection{desel2001petri,
  title={"What Is a Petri Net?" Informal Answers for the Informed Reader},
  author={Desel, J{\"o}rg and Juh{\'a}s, Gabriel},
  booktitle={Unifying Petri Nets},
  pages={1--25},
  year={2001},
  publisher={Springer}
}

@article{carl1962petri,
  title={Kommunikation mit Automaten},
  author={Petri, Carl Adam},
  journal={Bonn: Institut f{\"u}r Instrumentelle Mathematik, Schriften des IIM Nr},
  volume={2},
  year={1962}
}

@inproceedings{cardozo2013modeling,
  title={Modeling and analyzing self-adaptive systems with context petri nets},
  author={Cardozo, Nicol{\'a}s and Gonz{\'a}lez, Sebasti{\'a}n and Mens, Kim and Van Der Straeten, Ragnhild and DHondt, Theo},
  booktitle={Theoretical Aspects of Software Engineering (TASE), 2013 International Symposium on},
  pages={191--198},
  year={2013},
  organization={IEEE}
}

@incollection{petri1980introduction,
  title={Introduction to general net theory},
  author={Petri, Carl Adam},
  booktitle={Net theory and applications},
  pages={1--19},
  year={1980},
  publisher={Springer}
}

@incollection{reisig1979formale,
year={1979},
isbn={978-3-540-09773-0},
booktitle={Formale Modelle f{\"u}r Informationssysteme},
volume={21},
series={Informatik-Fachberichte},
editor={Mayr, Heinrich C. and Meyer, Bernd E.},
doi={10.1007/978-3-642-67485-3\_13},
title={Zur Verwendung von Petrinetz - Morphismen bei der Systemkonstruktion},
url={http://dx.doi.org/10.1007/978-3-642-67485-3\_13},
publisher={Springer Berlin Heidelberg},
author={Reisig, Wolfgang},
pages={220-235},
language={German}
}

@inproceedings{petri1977communication,
  title={Communication disciplines},
  author={Petri, Carl Adam},
  booktitle={Proceedings of the Joint IBM University of Newcastle upon Tyne seminar},
  pages={171--183},
  year={1977}
}

@article{Peterson1977Petrinets,
 author = {Peterson, James L.},
 title = {Petri Nets},
 journal = {ACM Comput. Surv.},
 issue_date = {Sept. 1977},
 volume = {9},
 number = {3},
 month = sep,
 year = {1977},
 issn = {0360-0300},
 pages = {223--252},
 numpages = {30},
 url = {http://doi.acm.org/10.1145/356698.356702},
 doi = {10.1145/356698.356702},
 acmid = {356702},
 publisher = {ACM},
 address = {New York, NY, USA},
}