/diaForTA

Primary LanguagePython

diaForTA

o: observable events b: bound t: transitions txt. the file store the model