Petri nets (PN) are a popular formalism to represent concurrent systems. However, they lack support for modelling and analysing system families, like variants of controllers, process models, or configurations of flexible assembly lines. a Petri net product line (PNPL) defines a collection of similar systems compactly. A PNPL represents a set of Petri nets with different admissible derivations. Having just one artefact allows for analysing all derivable nets of a family more efficiently at the same time, instead of one by one. Thus, PNPLs permit the analysis of structural and behavioural properties and the runtime verification of reconfigurable systems. In addition, a software tool has been developed to evaluate the benefits of our proposal.