1
Published 2014
Springer International Publishing
Table of Contents: ... Behavioral Relations for Concurrent Systems -- On Weighted Petri Net Transducers -- Exhibition of a...

2
Published 2024
Springer Berlin Heidelberg
... systems, and net synthesis. Thus, this volume gives a good overview of ongoing research on concurrent...