return $states;
} /**
* @param array<string, array<string, array<string, string>>> $states
*/
private function addStates(array
$states): string
{ $code = '';
foreach ($states as $id =>
$state) { $code .=
sprintf(" place_%s [label=\"%s\", shape=circle%s];\n",
$this->
dotize($id),
$this->
escape($id),
$this->
addAttributes($state['attributes'
]));
} return $code;
} /**
* @param array<string, mixed> $options
*/
private function startDot(array
$options): string
{ return sprintf(