M. Rücker and N. Pinkwart. Petri Nets in Secondary CS Education. Proceedings of the 9th Workshop in Primary and Secondary Computing Education, 2014.