基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
通过有色Petri网来实现具有或逻辑形式约束条件的Petri网控制器是非常有效的,但以往的文献通常假设Petri网中的变迁是不能并发的.本文提出的利用有色Petri网控制离散事件系统(DES)的方法,不但实现了或逻辑形式的约束,而且允许Petri网中的所有变迁都可以并发.
推荐文章
基于有色Petri网的工作流故障诊断方法
有色Petri网
故障诊断
云计算
数据世系
一种基于Petri网的Internet拥塞控制算法
拥塞控制
Petri网
队列
算法
一种基于Petri网的安全协议验证方法
安全协议
着色Petri网
形式化建模与分析
安全验证
可达性分析
一种多值Petri网及其应用
多值Petri网
多值逻辑
知识表示
不确定性推理
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 一种基于有色Petri网的DES的控制方法
来源期刊 科技通报 学科 工学
关键词 控制理论与工程 离散事件系统 Petri网 有色Petri网 或逻辑 并发
年,卷(期) 2005,(2) 所属期刊栏目
研究方向 页码范围 180-184
页数 5页 分类号 TP27
字数 4066字 语种 中文
DOI 10.3969/j.issn.1001-7119.2005.02.012
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 王凯 浙江大学工业控制技术国家重点实验室 138 1364 19.0 30.0
5 苏宏业 浙江大学工业控制技术国家重点实验室 105 1588 24.0 33.0
9 褚健 浙江大学工业控制技术国家重点实验室 151 3010 32.0 47.0
13 吴维敏 浙江大学工业控制技术国家重点实验室 7 73 4.0 7.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (4)
同被引文献  (5)
二级引证文献  (5)
2005(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2006(2)
  • 引证文献(2)
  • 二级引证文献(0)
2007(1)
  • 引证文献(1)
  • 二级引证文献(0)
2008(1)
  • 引证文献(1)
  • 二级引证文献(0)
2010(2)
  • 引证文献(0)
  • 二级引证文献(2)
2013(2)
  • 引证文献(0)
  • 二级引证文献(2)
2017(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
控制理论与工程
离散事件系统
Petri网
有色Petri网
或逻辑
并发
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
科技通报
月刊
1001-7119
33-1079/N
大16开
杭州西湖文化广场省科技馆东门6楼
32-95
1985
chi
出版文献量(篇)
8071
总下载数(次)
25
相关基金
浙江省自然科学基金
英文译名:
官方网址:http://www.zjnsf.net/
项目类型:一般项目
学科类型:
论文1v1指导