Modular construction of finite and complete prefixes of Petri net unfoldings