Towards extensible structural analysis of petri net product lines
Abstract:
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.
Año de publicación:
2019
Keywords:
- model-driven engineering
- Petri nets
- Product Lines
Fuente:
scopusTipo de documento:
Conference Object
Estado:
Acceso restringido
Áreas de conocimiento:
- Sistema de control
Áreas temáticas:
- Ciencias de la computación
