Jorg Desel and Javier Esparza

Free Choice Petri nets (Cambridge tracts in Theoretical computer science 40) - Cambridge University Press 1995

9780521019453