Relating event driven process chains to Boolean Petri nets - Langner, Peter; Schneider, Christoph; Wehler, Joachim 1950- (Ludwig-Maximilians-Univ. München, Inst. für Informatik, 1997)