Towards Extensible Structural Analysis of Petri Net Product Lines.
Elena Gómez-Martínez, Juan D. Lara, Esther Guerra · Biblos-e Archivo (Universidad Autónoma de Madrid) · 2019
In order to represent the behaviour of a (potentially large) set of concurrent systems, we propose a notion of product line of Petri nets, where presence conditions can be flexibly attached to places, transitions and arcs. To enable an efficient analysis of the whole set of nets, we have lifted several structural analysis methods for Petri nets, to the product line level. This avoids analysing each particular net in isolation. Finally, we propose an extensible tool infrastructure, based on Eclipse and on top of FeatureIDE, which supports the approach and permits adding new analysis methods in a non-intrusive way