首页> 中文期刊> 《计算机科学》 >Petri网替换运算的不变量保持条件

Petri网替换运算的不变量保持条件

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

提出了Petri网替换运算的不变量保持条件,根据这些条件,可以由轮廓模型N和子系统模型N1的T-不变量(S-不变量)得到加细模型N'的T-不变量(S-不变量),充分利用已知的轮廓模型N和子系统模型N1的T-不变量(S-不变量),避免从头处理加细模型N',以达到节省计算开支的目的.

著录项

来源
《计算机科学》 |2009年第2期|230-233|共4页
作者
岳昊; 吴哲辉;
展开▼
作者单位

山东科技大学信息科学与工程学院;

青岛;

266510;

山东科技大学信息科学与工程学院;

青岛;

266510;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
Petri网;

相似文献

中文文献
外文文献
专利

1. Petri网替换运算 [J] . 吴振寰 ,吴哲辉 . 计算机科学 . 2005,第011期
2. 工艺约束条件下加工顺序决策的Petri网T_不变量方法 [J] . 肖伟跃 ,罗佑新 ,廖德岗 . 中国机械工程 . 2010,第008期
3. 基于Petri网T_不变量考虑约束条件的可选加工方法链决策 [J] . 肖伟跃 ,杨继荣 ,蔡悦华 . 组合机床与自动化加工技术 . 2009,第011期
4. 极限运算中变量替换的等价条件 [J] . 黄重器 . 龙岩学院学报 . 2002,第006期
5. 时间Petri网保持活性、有界性的两个充要条件 [J] . 翟正利 ,吴哲辉 ,杨扬 . 计算机科学 . 2006,第009期
6. 基于对象替换运算的Petri网及其应用 [C] . 方华 ,韩江洪 ,刘小平 . 第十二届全国petri网理论与应用学术年会 . 2009
7. 基于t-不变量的Petri网状态空间压缩算法 [A] . 王荟雯 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号