Koch, I., & Heiner, M. (2008). Petri nets. In F. S., Björn H. Junker (Ed.), Analysis of Biological Networks (pp. chapter 7:139-180). United Kingdom: Wiley Interscience.