Lifted structural invariant analysis of Petri net product lines | Publicación