Free Choice Petri Nets, volume 40 of Cambridge Tracts (0)

by J Desel, J Esparza
Venue:in Theoretical Computer Science