Lifted structural invariant analysis of Petri net product lines

Article

Abstract: Petri nets are commonly used to represent concurrent systems. However, they lack support for modelli

Palabras claves:

Constraint Solving, Petri nets, Software product lines, Structural invariant analysis

Autores:

Garmendia A., Gómez-Martínez E., Guerra E., Juan De Lara

Fuentes:

scopus