1
Published 1987
Springer Berlin Heidelberg
... in design and analysis of concurrent systems. They are used in many areas of computer science including...

2
Published 1987
Springer Berlin Heidelberg
... in the relationship of petri nets to other models of concurrent systems...