1
Published 2016
Springer International Publishing
... and concurrent systems are presented within this volume....

2
Published 2022
Springer Berlin Heidelberg
... on concurrent systems and Petri nets...