Reduction and synthesis of live and bounded free choice Petri nets
scientific article; zbMATH DE number 653288