基于量词消去的Petri网不变式自动生成

• 作者: 毕忠勤
• 来源期刊: 上海电力学院学报
• 学科: 工学
• 关键词: Petri网 不变式 量词消去 半代数变迁系统
• 年，卷（期）: 2011,（1）
• 所属期刊栏目: 技术应用
• 页码范围: 75-78,86
• 分类号: TP393.028
• 字数: 3525字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-4729.2011.01.018

摘要

基于模板和量词消去建立了一个求解Petri网不变式的算法.引入一个带参模板作为Petri网的候选不变式,再根据不变式必须满足归纳断言初始条件和承接条件,将Petri网的自动生成问题转化为量词消去问题,并求解出带参模板中的参数得到原Petri网的不变式.最后通过两个算例说明了该算法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	毕忠勤	上海电力学院计算机与信息工程学院	21	206	7.0	14.0