2 books • 1 series
Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science)
Structures in Concurrency Theory