@article{DBLP:journals/jlap/Gomez-MartinezG23,
  author       = {Elena G{\'{o}}mez{-}Mart{\'{\i}}nez and
                  Esther Guerra and
                  Juan de Lara and
                  Antonio Garmendia},
  title        = {Lifted structural invariant analysis of Petri net product lines},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {130},
  pages        = {100824},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jlamp.2022.100824},
  doi          = {10.1016/J.JLAMP.2022.100824},
}