Towards an Efficient Algorithm for Unfolding Petri Nets.

Victor Khomenko, Maciej Koutny

Browse the full CONCUR paper archive.