Efficient unfolding of contextual Petri nets

Bibliographic Details
Main Authors: Baldan, P, Bruni, A, Corradini, A, König, B, Rodríguez, C, Schwoon, S
Format: Journal article
Published: 2012