Distributed Unfolding of Petri Nets.

Paolo Baldan, Stefan Haar, Barbara Knig

Browse the full FOSSACS paper archive.