"linkStyle 0 stroke:Grey\n"
."transition0-->place1\n"
."linkStyle 1 stroke:Grey\n"
."transition1[\"t2\"]\n"
."place1-->transition1\n"
."transition1-->place2",
];
} public static function provideWorkflowWithReservedWords(): iterable
{ $builder =
new DefinitionBuilder();
$builder->
addPlaces(['start', 'subgraph', 'end', 'finis'
]);
$builder->
addTransitions([ new Transition('t0',
['start', 'subgraph'
],
['end'
]),
new Transition('t1',
['end'
],
['finis'
]),
]);
$definition =
$builder->
build();
yield [ $definition,