namespaces — PHP Неустранимая ошибка: класс не найден

Я следую учебному пособию по созданию файлов pnml с использованием фреймворка Petrinet. Я использовал это ссылка на сайт с github и скачал код php. Однако, когда я попытался запустить его локально в моей системе, я не смог запустить из-за следующей ошибки:

Неустранимая ошибка: класс ‘ziguss \ petrinet \ Element’ не найден

Эта ошибка возникает, когда я пытаюсь выполнить следующий код (Place.php)

<?php

namespace ziguss\petrinet;

class Place extends Element
{
}

Класс Element показан ниже:

<?php

namespace ziguss\petrinet;

abstract class Element
{
use Nameable;

protected $inputArcs = [];
protected $outputArcs = [];

public function getInputArcs()
{
return $this->inputArcs;
}

public function addInputArc(Arc $inputArc)
{
$this->inputArcs[] = $inputArc;

return $this;
}

public function getOutputArcs()
{
return $this->outputArcs;
}public function addOutputArc(Arc $outputArc)
{
$this->outputArcs[] = $outputArc;

return $this;
}
}

Может кто-нибудь помочь мне исправить эту ошибку.

Заранее спасибо!