Petri Nets and Other Models of Concurrency - ICATPN 2007 - e-bok, Engelska, 2007