polishing YPetri::Net facilities, esp. DataSet