Reduction and synthesis of live and bounded free choice Petri nets - Esparza, Javier 1964- (Inst. für Informatik, 1991)