Geeks
bivab
/
pytri
Model Checker for Petri Nets using RPython
Primary Language
Python
pytri GitHub
Markdown
Readme
0
Issues
3
Stargazers
4
Watchers
Watchers
bivab
@zalando
cfbolz
Duisburg, Germany
jhcloos
pafmaf
Hamburg