Recent Advances in Petri Nets and Concurrency, Rapnec 2010 - Workshops of the 31St International Conference on Application and Theory of Petri Nets and Other Models of Concurrency, Petri Nets 2010 and the 10Th Int. Conf. Acsd 2010, Date: 21 June 2010 through 22 June 2010, Location: Braga