32nd Int Conf on Applications and Theory of Petri Nets and Other Models of Concurrency / 11th Int Conf on Application of Concurrency to System Design