Object Oriented Petri Nets in Business Process Modeling - Moldt, Daniel; Valk, Rüdiger (2000)