Validating Extended Feature Model Configurations using Petri Nets

Presented at International Workshop on Petri Nets and Software Engineering 2021