Efficient unfolding of contextual Petri nets - Baldan, P; Bruni, A; Corradini, A; König, B; Rodríguez, C; Schwoon, S (2012)