1 paper
Elena Gómez-Martínez, José Ignacio Requeno Jarabo
This paper presents a set of algorithms for computing the reachability graph of Petri Net Product Lines (PNPLs). These algorithms address the combined challenges of concurrency and…