Free choice Petri Nets - Desel, Jorg; Esparza, Javier (Cambridge University Press, 1995)
includes bibl. references