2
Published 2011
Springer Berlin Heidelberg
... and development in the area of Petri nets and related models of concurrent systems are addressed...