[1]
L. Lorentsen, A.-P. Tuovinen, and J. Xu, “Experiences in modelling feature interactions with Coloured Petri Nets”, Acta Cybern, vol. 15, no. 4, pp. 621-632, Jan. 2002.