Relating event driven process chains to Boolean Petri nets - Langner, Peter; Schneider, Christoph; Wehler, Joachim 1950- (Institut für Informatik <München, Universität>: Bericht, 1997)