Verlag Universitätsverlag PotsdamSergey Smirnov × State propagation in abstracted business processes Sergey SmirnovUniversitätsverlag PotsdamSoftcover2011 Business process model abstractiontheory and practiceSergey SmirnovUniversitätsverlag PotsdamSoftcover2010 Action patterns in business process models Sergey SmirnovUniversitätsverlag PotsdamBuch2009