基于系统行为序列的Petri网自动建模方法

• 作者: 束德勤 范昊
• 来源期刊: 微型机与应用
• 学科: 工学
• 关键词: 恰当终结的标准Petri网 系统行为序列 正规表达式 建模
• 年，卷（期）: 2014,（18）
• 所属期刊栏目: 技术与方法
• 页码范围: 79-82
• 页数: 4页
• 分类号: TPA03
• 字数: 2869字
• 语种: 中文

摘要

要想用 Petri 网对系统进行有效的模拟和分析，就必须先建立起可靠准确的 Petri 网模型，目前很少有文献专门研究 Petri 网对系统的建模问题。对此，提出了基于系统行为序列的 Petri 网自动建模方法。该方法将系统所有行为序列组合为正规语言表达式，对于不同的系统，给出标注函数（即变迁和系统行为的映射关系），就可以建立起系统的 Petri 网模型。给出了电话呼叫业务建立用户Petri 网模型的一个实例。该方法形式化强、通用性好，建立的模型标准规范，并且可实现机器自动建模，在目前的系统建模研究方面取得了进展。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	束德勤	山东农业大学信息科学与工程学院	13	14	2.0	3.0
2	范昊	山东农业大学信息科学与工程学院	19	23	3.0	4.0