Application and Theory of Petri Nets and Concurrency - Colom (Springer Berlin Heidelberg, 2013)