Author: International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (31st 2010 Braga, Portugal)