1
Published 2012
Springer Berlin Heidelberg
... nets and related models of concurrent systems are addressed...

2
Published 2014
Springer Berlin Heidelberg
... of ongoing concurrent systems and Petri nets research...