A simple utility app that generates petri nets from given parameters, also converts the resulted pteri net to nuSMV code
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool