Efficient unfolding of contextual Petri nets

Paolo Baldan‚ Alessandro Bruni‚ Andrea Corradini‚ Barbara König‚ César Rodríguez and Stefan Schwoon