Christian Eisentraut Holger Hermanns Teaching Concurrency Concepts to Freshmen. 35-53 2008 1 T. Petri Nets and Other Models of Concurrency http://dx.doi.org/10.1007/978-3-540-89287-8_3 journals/topnoc/2008-1 db/journals/topnoc/topnoc1.html#EisentrautH08