Free Choice Petri Nets (1995)

by J Desel, J Esparza
Venue:of Cambridge Tracts in Theoretical Computer Science