Petri Nets and Other Models of Concurrency - ICATPN 2007 - Alex Yakovlev - E-bok | Bokus