private array
$initialPlaces =
[];
private MetadataStoreInterface
$metadataStore;
/**
* @param string[] $places
* @param Transition[] $transitions
* @param string|string[]|null $initialPlaces
*/
public function __construct(array
$places, array
$transitions, string|array
$initialPlaces = null, MetadataStoreInterface
$metadataStore = null
) { foreach ($places as $place) { $this->
addPlace($place);
} foreach ($transitions as $transition) { $this->
addTransition($transition);
} $this->
setInitialPlaces($initialPlaces);
$this->metadataStore =
$metadataStore ??
new InMemoryMetadataStore();
}