Lifted structural invariant analysis of Petri net product lines
From MaRDI portal
Publication:2096429
DOI10.1016/j.jlamp.2022.100824MaRDI QIDQ2096429
Juan de Lara, Antonio Garmendia, Elena Gómez-Martínez, Esther Guerra
Publication date: 16 November 2022
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2022.100824
68-XX: Computer science
Uses Software