Cover Image
Read Now

1
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... and Validation of Concurrent Systems Using Coloured Petri Nets -- Teaching Concurrency Concepts to Freshmen...”
Cover Image
Read Now

2
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Modeling concurrent systems: Actors, nets, and the problem of abstraction and composition...”