CFPNlib Enabling Context-oriented Programming and variability management in Modelica with CFPNlib: The Context Feature Petri Nets Library. For more information, please visit https://wangzizhe.github.io/CFPNlib.