Reducing k-safe Petri nets to Pomset-equivalent 1-safe Petri nets - Best, Eike 1951-; Wimmel, Harro 1967- (Universität <Oldenburg>, 1999)