Author: International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (29th 2008 Xi'an Shi, China)