Distributed Unfolding of Petri Nets