Niels b0fdab2c44 Implement named transitions ...

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

2021-07-11 12:47:57 +01:00

..

src

Implement named transitions

2021-07-11 12:47:57 +01:00