Skip to content
GitLab
Explore
Sign in
Control systems group
Team discrete event systems
PetriTUB
Issues
#23
Check type of liveness (L1, L2, L3, liveness)