基于UML和Petri网的建模及其验证

• 作者: 丁佐华 林红昌 马超
• 来源期刊: 浙江理工大学学报
• 学科: 工学
• 关键词: UML Petri网 Promela语言 建模 验证
• 年，卷（期）: 2010,（6）
• 页码范围: 889-894
• 分类号: TP311.5
• 字数: 2880字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-3851.2010.06.006

摘要

为了更好的建立系统模型,分析系统模型的性质,提出一种基于UML和Petri网的建模方法.用UML对系统进行可视化建模,利用Petri网对系统的动态行为进行建模,从不同的角度对系统进行建模,运用两种建模方法的优势,以及UML和Petri网之间的转化规则,实现两种模型的转换.最后把Petri网转化为Promela程序,用SPIN工具Petri网模型进行验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	丁佐华	浙江理工大学数学计算与软件工程中心	26	71	6.0	7.0
2	马超	浙江理工大学数学计算与软件工程中心	4	9	2.0	3.0
3	林红昌	浙江理工大学数学计算与软件工程中心	3	13	2.0	3.0