首页> 中文期刊> 《上海电力大学学报》 >基于量词消去的Petri网不变式自动生成

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

团队文献服务 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《上海电力大学学报》 |2011年第1期|75-78|共5页
作者
毕忠勤;
展开▼
作者单位

上海电力学院计算机与信息工程学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.028;
关键词
Petri网; 不变式; 量词消去; 半代数变迁系统;

相似文献

中文文献
外文文献
专利

1. 基于DISCOVERER的Petri网不变式自动生成 [J] . 毕忠勤 ,单美静 ,陈光喜 . 计算机应用研究 . 2009 ,第004期
2. 基于Sugeno积分语言量词模型的气象文本自动生成技术研究 [J] . 冯祥胜 . 科技广场 . 2009 ,第009期
3. 基于着色Petri网测试用例的自动生成 [J] . 任雪利 . 曲靖师范学院学报 . 2009 ,第003期
4. 基于Petri网的协议测试例自动生成 [J] . 郑啸 ,秦锋 . 华中科技大学学报：自然科学版 . 2006 ,第3期
5. 基于IDEF0的CIMS底层控制Petri网模型的自动生成方法 [J] . 王君英 ,段广洪 . 自动化学报 . 1997 ,第003期
6. 基于颜色Petri网的恶意软件行为可视化自动生成方法研究 [C] . Hongsheng Cao ,曹宏盛 ,Jian Jiao . 第七届中国互联网学术会议（ICoC2018） . -1
7. 面向传值进程的模态逻辑与实整混合优化理论的量词消去 [A] . 薛锐 . 2001

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号