Skip to content
GitLab
Explore
Sign in
Control systems group
Team discrete event systems
PetriTUB
Issues
#25
Check persistency of a PN