Lifted structural invariant analysis of Petri net product lines
Entidad
UAM. Departamento de Ingeniería InformáticaEditor
ElsevierFecha de edición
2022-09-28Cita
10.1016/j.jlamp.2022.100824
Journal of Logical and Algebraic Methods in Programming 130 (2023): 100824
ISSN
2352-2208 (online)DOI
10.1016/j.jlamp.2022.100824Financiado por
This work has been funded by the Spanish Ministry of Science (PID2021-122270OB-I00) and the R&D programme of Madrid (P2018/TCS-4314)Versión del editor
https://doi.org/10.1016/j.jlamp.2022.100824Materias
Petri nets; Software product lines; Structural invariant analysis; Constraint solving; InformáticaDerechos
© 2022 The Author(s)Esta obra está bajo una licencia de Creative Commons Reconocimiento-NoComercial-SinObraDerivada 4.0 Internacional.
Resumen
Petri nets are commonly used to represent concurrent systems. However, they lack support
for modelling and analysing system families, like variants of controllers, different variations
of a process model, or the possible configurations of a flexible assembly line.
To facilitate modelling potentially large collections of similar systems, in this paper, we
enrich Petri nets with variability mechanisms based on product line engineering. Moreover,
we present methods for the efficient analysis of the place and transition invariants in
all defined versions of a Petri net. Efficiency is achieved by analysing the system family
as a whole, instead of analysing each possible net variant separately. For this purpose,
we lift the notion of incidence matrix to the product line level, and rely on constraint
solving techniques. We present tool support and evaluate the benefits of our techniques
on synthetic and realistic examples, achieving in some cases speed-ups of two orders of
magnitude with respect to analysing each net variant separately
Lista de ficheros
Tamaño
1.741Mb
Formato
PDF
Descripción
Artículo
Google Scholar:Gómez Martínez, María Elena
-
Guerra Sánchez, Esther
-
Lara Jaramillo, Juan de
-
Garmendia Jorge, Antonio
Lista de colecciones del ítem
Registros relacionados
Mostrando ítems relacionados por título, autor, creador y materia.