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

Petri net automatic modeling method based on system behavior sequence

作　　者：束德勤[1] 范昊[1] 

机构地区：[1]山东农业大学信息科学与工程学院,山东泰安271018

出　　处：《微型机与应用》2014年第18期79-82,共4页Microcomputer & Its Applications

基　　金：山东省高等学校科技计划项目(J11LG26);山东农业大学青年科技创新基金项目(2365)

摘　　要：要想用Petri网对系统进行有效的模拟和分析,就必须先建立起可靠准确的Petri网模型,目前很少有文献专门研究Petri网对系统的建模问题。对此,提出了基于系统行为序列的Petri网自动建模方法。该方法将系统所有行为序列组合为正规语言表达式,对于不同的系统,给出标注函数(即变迁和系统行为的映射关系),就可以建立起系统的Petri网模型。给出了电话呼叫业务建立用户Petri网模型的一个实例。该方法形式化强、通用性好,建立的模型标准规范,并且可实现机器自动建模,在目前的系统建模研究方面取得了进展。If you want to simulate and analyze a system by Petri net, you must construct a reliable and accurate Petri net model. Problem of constructing model by Petri net is discussed few at present. Petri net automatic modeling method based on system behavior sequence is presented. This method combines all the behavior sequences of system into the formal language expression. For different system, giving labeled function （the relationship between transition and system behaviors） can construct system Petri net model. To illustrate the algorithm,an example of constructing user Petri net model of telephone call service is given. This method has strong formalization and can be used universally. The model constructed by this method is standard and can realize computer automatic modeling. It makes progress in research of system modeling.

关 键 词：恰当终结的标准Petri网 系统行为序列 正规表达式 建模 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]