public function testAddTransition()
{
$places = range('a', 'b');
$transition0 = new Transition('name0', $places[0], $places[1]);
$transition1 = new Transition('name1', $places[0], $places[1]);
$builder = new DefinitionBuilder($places, array($transition0));
$builder->addTransition($transition1);
$definition = $builder->build();
$this->assertCount(2, $definition->getTransitions());
$this->assertSame($transition0, $definition->getTransitions()[0]);
$this->assertSame($transition1, $definition->getTransitions()[1]);
}