基于Petri网的递归模型构造与分析

• 作者: 李博文 李孝忠
• 来源期刊: 电子测量技术
• 学科: 工学
• 关键词: Petri网 递归 模拟 验证
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 信息技术
• 页码范围: 130-132
• 页数: 3页
• 分类号: TP278
• 字数: 2970字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-7300.2007.03.045

摘要

在软件的设计过程中,开发者通常会使用递归的方法来代替复杂的循环过程.虽然递归的方法相对简单,却比较难于理解和控制.本文使用Petri网工具,通过建模的方法针对递归过程进行分析和模拟.在以往的研究中,Petri网很少被用于构造递归模型.文中建立了一个递归模型,提供了形式化建模方法和验证,并通过Java程序对其进行了模拟验证,达到了对递归过程分析的目的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李孝忠	天津科技大学信息技术与自动化学院	29	143	6.0	10.0
2	李博文	天津科技大学信息技术与自动化学院	7	33	2.0	5.0