Niels Lohmann Decompositional Calculation of Operating Guidelines Using Free Choice Conflicts. 63-68 2008 AWPN http://CEUR-WS.org/Vol-380/paper10.pdf conf/awpn/2008 db/conf/awpn/awpn2008.html#Lohmann08