Free Choice Petri Nets, volume 40 of Cambridge Tracts in Theoretical Computer Science. (1995)

by J Desel, J Esparza