|
|||||
|
|
| 基于系统行为序列的Petri网自动建模方法 | |
| 作者单位： | ;1.山东农业大学信息科学与工程学院 |
| 摘 要： | 要想用Petri网对系统进行有效的模拟和分析,就必须先建立起可靠准确的Petri网模型,目前很少有文献专门研究Petri网对系统的建模问题。对此,提出了基于系统行为序列的Petri网自动建模方法。该方法将系统所有行为序列组合为正规语言表达式,对于不同的系统,给出标注函数(即变迁和系统行为的映射关系),就可以建立起系统的Petri网模型。给出了电话呼叫业务建立用户Petri网模型的一个实例。该方法形式化强、通用性好,建立的模型标准规范,并且可实现机器自动建模,在目前的系统建模研究方面取得了进展。 |
| 关 键 词： | 恰当终结的标准Petri网 系统行为序列 正规表达式 建模 |
Petri net automatic modeling method based on system behavior sequence |
|
| Abstract: | |
| Keywords: | |