TTCN-3测试语言与形式化建模（如时间自动机petri网）的区别在哪里

未解决问题

hao231知道平台可亲可爱的ψ追风者ψ网友在712次浏览2019.10.30提问提了关于IT技术编程相关的问题，他的提问应该TTCN-3测试语言与形式化建模（如时间自动机petri网）的区别在哪里IT技术编程希望大家能够帮助她。

详细问题描述及疑问：期待您的答案，真心佩服你,谢谢 ！