Niels 19d1fc3836 Implement named transitions ...

- Backport #850
- Fixes #989
Co-authored-by: Niels Hoppe <niels.hoppe@fokus.fraunhofer.de>

2021-07-11 12:49:21 +01:00

..

src

Implement named transitions

2021-07-11 12:49:21 +01:00