public function dump(Definition $definition, Marking $marking = null, array $options = array())
{
$places = $this->findPlaces($definition, $marking);
$transitions = $this->findTransitions($definition);
$edges = $this->findEdges($definition);
$options = array_replace_recursive(self::$defaultOptions, $options);
return $this->startDot($options) . $this->addPlaces($places) . $this->addTransitions($transitions) . $this->addEdges($edges) . $this->endDot();
}