update MarkingFactory