Initial marking implemented