Defining variability in activity diagrams and Petri nets

André Heuer, Vanessa Stricker, Christof J. Budnik, Sascha Konrad, Kim Lauenroth, Klaus Pohl. Defining variability in activity diagrams and Petri nets. Science of Computer Programming, 78(12):2414-2432, 2013. [doi]