Lifted structural invariant analysis of Petri net product lines

Elena Gómez-Martínez, Esther Guerra, Juan de Lara, Antonio Garmendia. Lifted structural invariant analysis of Petri net product lines. J. Log. Algebr. Meth. Program., 130:100824, 2023. [doi]

Authors

Elena Gómez-Martínez

This author has not been identified. Look up 'Elena Gómez-Martínez' in Google

Esther Guerra

This author has not been identified. It may be one of the following persons: Look up 'Esther Guerra' in Google

Juan de Lara

This author has not been identified. It may be one of the following persons: Look up 'Juan de Lara' in Google

Antonio Garmendia

This author has not been identified. Look up 'Antonio Garmendia' in Google