Efficient unfolding of contextual Petri nets