10.3969/j.issn.1000-3428.2005.19.039
基于Time Petri Nets的UML时序图分析
引入一种称为Clock的变迁,用来改进TPNs,讨论了如何将时序图转换为基于Clock变迁的TPNs,使这种TPNs能正确反映时序图的流程和时间约束.最后,利用普通Petri网的可达性分析技术对时序图模型进行了分析和验证.
UML时序图、Time Petri nets、可达性分析
31
TP391(计算技术、计算机技术)
2005-11-17(万方平台首次上网日期,不代表论文的发表时间)
共3页
105-107