Lifted structural invariant analysis of Petri net product lines
EntityUAM. Departamento de Ingeniería Informática
10.1016/j.jlamp.2022.100824Journal of Logical and Algebraic Methods in Programming 130 (2023): 100824
Funded byThis work has been funded by the Spanish Ministry of Science (PID2021-122270OB-I00) and the R&D programme of Madrid (P2018/TCS-4314)
SubjectsPetri nets; Software product lines; Structural invariant analysis; Constraint solving; Informática
Rights© 2022 The Author(s)
Esta obra está bajo una licencia de Creative Commons Reconocimiento-NoComercial-SinObraDerivada 4.0 Internacional.
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
Files in this item
Google Scholar:Gómez Martínez, María Elena - Guerra Sánchez, Esther - Lara Jaramillo, Juan de - Garmendia Jorge, Antonio
This item appears in the following Collection(s)
Showing items related by title, author, creator and subject.