Lorentsen, Louise, Antti-Pekka Tuovinen, and Jianli Xu. 2002. “Experiences in Modelling Feature Interactions With Coloured Petri Nets”. Acta Cybernetica 15 (4), 621-32. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3600.