Application and Theory of Petri Nets and Concurrency - Jorg Desel - E-bok | Bokus