Towards extensible structural analysis of Petri Net product lines

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 wayWork funded by the Spanish Ministry of Science (project MASSIVE, RTI2018-095255- B-I00) and the R&D programme of Madrid (project FORTE, P2018/TCS-4314