基于Time Petri Nets的UML时序图分析

• 作者: 刘文海 张根度 徐景辉
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: UML时序图 Time Petri nets 可达性分析
• 年，卷（期）: 2005,（19）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 105-107
• 页数: 3页
• 分类号: TP391
• 字数: 2406字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2005.19.039

摘要

引入一种称为Clock的变迁,用来改进TPNs,讨论了如何将时序图转换为基于Clock变迁的TPNs,使这种TPNs能正确反映时序图的流程和时间约束.最后,利用普通Petri网的可达性分析技术对时序图模型进行了分析和验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张根度	复旦大学计算机信息技术系	67	745	13.0	25.0
2	刘文海	复旦大学计算机信息技术系	3	11	2.0	3.0
3	徐景辉	复旦大学计算机信息技术系	1	7	1.0	1.0