open navigation menu
Autores
Documentos
Organizaciones
Eventos
Proyectos
Patentes
Servicios
Inicio
Acerca de
Explorar
Análisis
Reportes
Regresar
Inicio
/
Explore
/
Authors
Mostrando
1
resultados de:
1
Filtros
Filtros aplicados
Publisher: "Journal of Logical and Algebraic Methods in Programming"
Subtipo de publicación
Article
(1)
Área temáticas
Ciencias de la computación
(1)
Área de conocimiento
Ciencias de la computación
(1)
Año de Publicación
2023
(1)
Origen
scopus
(1)
Palabras Claves
Constraint Solving
(1)
Petri nets
(1)
Software product lines
(1)
Structural invariant analysis
(1)
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
1
1
