Trace nets and process automata
scientific article; zbMATH DE number 818361