1
Published 2012
Springer Berlin Heidelberg
... gives a good view of ongoing concurrent systems and Petri nets research...

2
Published 1993
Springer Berlin Heidelberg
Table of Contents: ... application -- On net modeling of industrial size concurrent systems -- Analysis of the TMS320C40...