Joachim Wehler Boolean and Free-choice Semantics of Event-driven Process. 77-96 2007 EPK http://ceur-ws.org/Vol-303/epk2007-paper5.pdf conf/epk/2007 db/conf/epk/epk2007.html#Wehler07