某类有界时序Petri网的原型网形式的转化

刘勇; 吴哲辉

首页> 中文期刊> 《系统仿真学报》 >某类有界时序Petri网的原型网形式的转化

某类有界时序Petri网的原型网形式的转化

开具论文收录证明 >>

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

文献代查 >>

团队文献服务 >>

页面导航

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

摘要

时序Petri网是对原型Petri网模型(称为时序Petri网的基网)加上时序逻辑公式进行的扩充.本文初步讨论了时序Petri网的语言表达能力,得出的结论是这种扩充不弱于带抑止弧的Petri网的表达能力,但控制型有界时序Petri网的描述能力则同有界原型Petri网是等同的.文中给出了把控制型有界时序Petri网转化为有界原型Petri网的算法,并通过实例描述了转化过程.

著录项

来源
《系统仿真学报》 |2005年第z1期|1-4|共4页
作者
刘勇; 吴哲辉;
展开▼
作者单位

山东科技大学信息学院;

山东青岛;

266510 山东科技大学信息学院;

山东青岛;

266510;

展开▼
原文格式 PDF
正文语种 chi
中图分类性能分析、功能分析 ;
关键词
Petri网; 线性时序逻辑; 语言描述能力; 控制器;

相似文献

中文文献
外文文献
专利

1. 基于时序Petri网的联锁逻辑形式建模与验证 [J] . 杜军威 ,徐中伟 . 计算机工程与应用 . 2007 ,第013期
2. 关于有界Petri网的弱进程和弱出现网 [J] . 刘萍 . 计算机科学 . 2021 ,第0z2期
3. 有界Petri网的可达图到网图的转换算法 [J] . 吴哲辉 ,蒋昌俊 . 软件学报 . 1992 ,第001期
4. H-网:一个基于Petri网的超文本形式模型 [J] . 余盛可 . 计算机学报 . 1995 ,第007期
5. 关于有界Petri网的全进程研究 [J] . 刘萍 . 甘肃高师学报 . 2021 ,第005期
6. 某类有界时序Petri网的原型网形式的转化 [C] . 刘勇 ,吴哲辉 . 第十次全国Petri网学术年会暨形式化方法学术讨论会 . 2005
7. 有界Petri网的语言识别算法研究 [A] . 崔婷婷 . 2011

某类有界时序Petri网的原型网形式的转化

摘要

著录项

相似文献

相关主题

期刊订阅