Jo''rg Desel: Struktur und Analyse von Free-Choice-Petri-Netzen. DUV 1992, 200. 3-8244-2030-9. DM 59. Jo''rg Desel/Javier Esparza: Free Choice Petri Nets. Cambridge UP 1995. 10436 Javier Esparza: Reachability in live and safe free-choice Petri nets is NP-complete. Internet ca. 13p. 10410 Andrei Kovalyov/Javier Esparza: A polynomial algorithm to compute the concurrency relation of free-choice signal transition graphs. TU Mu''nchen SFB 342 (1995).